## Existence of solution of a Non-linear PDE via Fixed point theorem

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Hi all
I've the following non-linear PDE

$-\Delta Y + Y^3 =U$ on $\Omega \subset R^n$, open, bounded, Lipschitz boundary domain

$Y=0 ,$ on $\partial\Omega$

1.Let $Y\in H_0^1$ and as $H_0^1 \hookrightarrow \hookrightarrow L^5$ can we define a compact operator $T:L^5 \times [0,1] \rightarrow L^5$
and use the Leray-Schauder Fixed Point Theorem to prove the existence of a solution of above PDE for a general $U\in L^2$?

2.Or if not then how can we apply Leray-Schauder Fixed Point Theorem to proove existence of a solution in $Y\in H_0^1$?

-

Can you say a few words about your motivation for this question? Is this an exewrcise in a PDE book? – András Bátkai Sep 12 at 14:21

## 1 Answer

The Leray-Schauder is a fixed point theorem in the spirit of Brouwer's. When it gives an existence result, it says nothing about uniqueness. Your problem is much better than that, because it does have a unique solution in $H^1_0(\Omega)\cap L^4(\Omega)$, whenever $U$ belongs to the dual space $X=H^{-1}(\Omega)+L^{4/3}(\Omega)$. The reason is that $Y$ is a critical point of the functional $$E[Y]=\int_\Omega(\frac12|\nabla Y|^2+\frac14Y^4-UY)dx.$$ This function turns out to be continuous and coercive over $X$, and strictly convex. Therefore the standard arguments of the so-called direct method of calculus of variations yields existence and uniqueness of a critical point, which is the point $Y$ at which $E$ achieves its minimum.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 16, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8807481527328491, "perplexity_flag": "head"}