Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 150653

Questions about partial differential equations of elliptic type. Often used in combination with the top-level tag ap.analysis-of-pdes.

2 votes
Accepted

Approximation on $H^1_0(B)$ and cut-off functions

Do it first for the half-space $\{x_n >0\}=\Sigma$. If $u$ vanishes at the boundary then $u(x',x_n)^2=2\int_0^{x_n} uD_n u$ and so ($\Sigma_\delta=\{0 <x_n <\delta\}$) $$ \int_{\Sigma_\delta} |u|^2 \l …
Giorgio Metafune's user avatar
4 votes

Embeddings of the maximal domain for the Laplacian

There is no hope to gain summability without using boundary conditions. For example the function $\frac{1}{z \log z}$ is holomorphic, hence harmonic, and in $L^2$ in the disc (in the complex plane) c …
Giorgio Metafune's user avatar
3 votes

Strong maximum principle in entire space

Yes, $u$ is strictly positive. Assume that $F=\{x:u(x)=0\}$ is non-empty. $F$ is clearly closed and I show that is open. Let $x_0 \in F$ and $r>0$ such that $u-\Delta u=u(1+Ku^{\frac{4}{n-2}}) \geq 0$ …
Giorgio Metafune's user avatar
2 votes
Accepted

How to show that $ u $ is vanishing in $ \mathbb{R}^3\setminus B_1 $?

A proof that $u=0$ is as follows. Assume that such $u \geq 0 $ is not identically zero. Since $\Delta u \leq 0$, $u$ can never vanish, otherwise it would have an interior minimum. Taking averages on t …
Giorgio Metafune's user avatar
4 votes

Regularity of Newtonian potential along smooth boundary

This is a direct proof which gives $V \in C^\infty (\bar \Omega)$ whenever $g \in C^\infty (\bar \Omega)$, $V$ being the Newtonian potential of $g$. As in the proof by @Terry Tao assume that locally $ …
Giorgio Metafune's user avatar
9 votes

Is it possible to obtain the inequality $\|\nabla f\|_{L^{2p}} \leq C (\|f\|_{L^\infty} \|f\...

I know this direct proof which works also for $\infty$. Assume $2/q=1/p+1/r$ and $q \geq 2$. Then $$ \int|D_ku|^q=\int D_k u D_k u |D_k u|^{q-2}=-(q-1)\int u|D_k u|^{q-2} D_{kk}u \leq (q-1)\int |u||D_ …
Giorgio Metafune's user avatar
3 votes
Accepted

Boundedness of solutions to a semilinear PDE

Let me give a positive answer perhaps omitting some details. Fact 1. Let $u'' \geq ku^\alpha$ in $[c,\ell[$ with $k>0, \alpha>1$ and $u,u' \geq 0$. Let $A=u(c)$, then $ \ell \to c$ as $A \to \infty$ …
Giorgio Metafune's user avatar
1 vote

Sobolev embedding on sphere

Today I could check, finally. The proof I had in mind works in any dimension with $\alpha >(N-1)(1/2-1/p)$ (in your case $N=3$) which is not optimal. The optimal result with equality is proved in Theo …
Giorgio Metafune's user avatar
5 votes
Accepted

How to use comparison principle to prove the following inequality about Laplace equation?

Let $\psi$ be harmonic in $\Omega$, with $\psi=\phi$ on $\cup _{i \in S} \Gamma_i$, $\psi=m$ on $\cup_{i \not \in S}\Gamma_i$, where $m=\max_{i \not \in S} \max_{\Gamma_i} \phi$. By comparison, $\psi …
Giorgio Metafune's user avatar
5 votes
Accepted

A detail in one step in a theorem from a paper of Brezis and Merle

This follows from the mean value theorem. Assume that (up to a subsequence) $w_n(x_n) \geq -B$ with $(x_n) \in K$ (a compact subset of $\Omega$). If $x_n \to x_0 \in K$ and $B(x_n,r) \in \Omega$ for e …
Giorgio Metafune's user avatar
3 votes
Accepted

Schauder estimates with boundary conditions

The result is true. Let $L=\sum_{ij}a_{ij}D_{ij}$ and consider $$L^{-1}: C^{2+\alpha}(\partial \Omega) \mapsto C^{2+\alpha}(\bar \Omega)$$ with $L^{-1}f=u$ is $Lu=0$ and $u=f$ at the boundary. $L^{-1} …
Giorgio Metafune's user avatar
2 votes
Accepted

Gradient estimate and $L^1$ theory for the Laplace operator

One way to get both is to use the estimates $ \|\phi\|_{W^{2,p}(\Omega)} \leq C\|\psi\|_{L^p(\Omega)}$ which hold when $1<p<\infty$ with a constant $C=C(p,\Omega,n)$. Taking $p>n$ by Sobolev embeddin …
Giorgio Metafune's user avatar
3 votes
Accepted

Kernel for an equation involving the Ornstein-Uhlenbeck operator

There is a trick that reduces the equation $u_t=Lu$, $L=\Delta-x \nabla$ to the heat equation $u_t-\Delta$. It is genuinely parabolic and gives the parabolic kernel in the whole space, from which the …
Giorgio Metafune's user avatar
5 votes
Accepted

The behavior of $ \nabla u $ on the boundary for Poisson equations

The first observation is that the $u$ above satisfies $\nabla u=0$ on $\partial \Omega$ if and only if $f$ is orthogonal to all harmonic functions $v$ in $\Omega$, continuous up the the boundary. In f …
Giorgio Metafune's user avatar
3 votes
Accepted

A little problem in PDE or function analysis

The first is not true, and probably also the others. Take $L^2(0, \pi)$ and $u_1=\sin x$, $u_2=\sin (2x)$, so that $E_2=\{u=a\sin x+b \sin (2x)\}$ and $u \geq 0$ iff $a \geq 0$ and $2|b| \leq a$. If $ …
Giorgio Metafune's user avatar

15 30 50 per page