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

learn more… | top users | synonyms

0
votes
0answers
107 views

A priori estimate for diffraction problem for linear elliptic PDEs

I am looking for a reference to show how to obtain a priori estimate of the solution $u\in H^1$ and $u\in C^{2,\alpha}$ to the diffraction problem of linear elliptic equation. I looked at ...
6
votes
1answer
162 views

Is this function Schwartz?

I already asked this question here on MSE, didn't get an answer, and I'm still stuck with it. Suppose I have a smooth function $\psi$ from $\mathbb{R}^n$ to $\mathbb{C}$, for which I know that $$ ...
0
votes
0answers
50 views

Regularity result for Neumann problem

I have two questions. On Elliptic regularity for the Neumann problem, the OP asked whether the test function $v$ must be of mean value zero. However, isn't it true that we only need $f$ is of mean ...
3
votes
2answers
144 views

A Global Estimates for Linear Elliptic PDE

Let $\Omega$ be a bounded smooth region in $R^n$ and $u$ satisfy $-\Delta u+a(x)u=f, \ \ u|_{\partial \Omega}=0$, where $a(x)\geq 0$ and $f(x)$ are smooth functions. I wonder if the following ...
3
votes
0answers
79 views

Laplace Equation with Tangential Derivative Prescribed on the Boundary [closed]

I asked this question on MSE. However, I didn't get good answers there so I am seeking for it here. :) Consider the following Laplace boundary value problem (BVP) $$\matrix{ {{\nabla ^2}\Phi (x,y)...
1
vote
0answers
27 views

Regularity of a flux induced by a potential

Take $\Omega\subset R^n$ with smooth boundary (take a ball for example) a function $f\in L^{\infty}(\Omega)$ with support strictly contained in $\Omega$ and with $\int _{\Omega} f \; dx=0$ a ...
6
votes
1answer
265 views

Regularity of Hodge Laplacian on bounded domains

I need a reference for the $W^{s,p}$ regularity of the Hodge boundary value problem on bounded domains. I need estimates $\lVert \omega \rVert_{W^{s+2,p}} \leq c \lVert f \rVert _{W^{s,p}}$, for $...
0
votes
1answer
78 views

Strong Maximum Principle for very weak supersolutions of Laplacian operator

I know classical strong maximum principles for supersolutions of Laplacian operator, which says: Suppose $ u \in C^2(\Omega)\cap C(\overline{\Omega}) $ satisfies $ -\Delta u \geq 0 $ in $ \Omega$. ...
3
votes
1answer
210 views

stability of the Monge-Ampère equation

Is there any hope to prove this conjecture (or a similar one)? Conjecture Let $\Omega_k$ be a family of convex (smooth) domains, and let $u_k$ be convex Alexandrov solution of $$ \begin{cases} ...
3
votes
1answer
134 views

dirichlet problem in the heisenberg group

Good morning everybody. I was looking just for a quick reference to know whether the Dirichlet problem has a solution in the Heisenberg group, that is $\mathbb R^3$ endowed with coordinates $(x,y,z)$ ...
3
votes
0answers
101 views

Equations of the form $((\Delta)^{2}+\lambda\Delta+\gamma)(f)=0$

Here is the problem: I am trying to figure out if there is a non-zero solution for the system of equations: $(\Delta^{k-1}+a)(d^{\ast}\eta)=2d^{\ast}d\xi$ $(\Delta^{k}+b)(d\xi)=2dd^{\ast}\eta$ for $...
0
votes
0answers
61 views

How Minimal solution is obtained as limit of approximations

I have encountered a problem in the proof of a Lemma in an article. The image of Lemma and it's proof is this: I can understand the proof, but I don't know why this solution which is obtained as a ...
4
votes
1answer
97 views

Regularity up to the boundary for the Poisson problem

It seems that the following assertion is widely accepted: For $k\in\mathbb N$, $p\geq 2$, $\Omega \subset \mathbb R^n$ bounded with $\partial\Omega\in C^{k+2}$ and $f\in W^{k,p}(\Omega)$, the weak ...
0
votes
0answers
38 views

Reference request: Weak harnack inequality for biharmonic equation

I have seen a lemma which I do not have any reference and hint for it. Assume $ \Omega \subset \mathbb{R^N} $ is smooth bounded domain and let $u$ be a positive distributional supersolution to ...
1
vote
0answers
98 views

A Question about compactness of an embedding into $L^p$ spaces

Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have $$ \Lambda \int_{\Omega} \...
5
votes
1answer
73 views

Modified mean value property

Let $L=\Delta + c$ in 3 dimensions, where $c$ is a positive constant. I met this modified mean value property of a solution $u$ of $Lu=0$ as $$u(\xi)=\frac{\sqrt{c}\rho}{sin(\sqrt{c}\rho)}\frac{1}{4\...
0
votes
0answers
145 views

Harmonic function with Dirichlet boundary condition

Consider the domain $D = \{(x_1, x_2,.., x_n) \in \mathbb{R}^n : 0 \leq x_i \leq 1\}$. Let $D$ be divided into two parts $D_1$ and $D_2$ by the hyperplane $H = \{x_1 = \frac{1}{2}\}$. My question is: ...
2
votes
2answers
140 views

Trick in a inequality of a paper of free boundary problem that involves the p-laplacian with 1<p<2

I tried to ask this in mathstack, but no one answered me. Let $B = B(x_0,R) \subset \subset \Omega$ a ball in $R^n$ with $\Omega $ a domain in $R^n$ with smooth boundary and consider two functions ...
2
votes
1answer
227 views

Does this PDE only have the trivial solution?

Let $(M,g)$ be a closed Einstein manifold of dimension $m>2$ and $$ \mathrm{Ricc}(g)=\lambda g, $$ $h$ a symmetric $2$-covariant tensor, $\Delta=\nabla^*\nabla$ the Laplacian on functions as well ...
2
votes
0answers
65 views

Hypoelliptic pseudodifferential operators and Fredholm equations?

I read here the following: The parametrix is a useful concept in the study of elliptic differential operators and, more generally, of hypoelliptic pseudodifferential operators with variable ...
1
vote
1answer
120 views

Are solutions of the Beltrami Equations necessarily smooth?

Let $ a $, $ b $ and $ c $ be real constants such that $ \Delta \stackrel{\text{df}}{=} a c - b^{2} > 0 $. The Beltrami Equations are defined as the following system of PDE’s on the domain $ \Bbb{R}...
8
votes
1answer
363 views

Why should the map $-\Delta^{-1}$ be continuous?

I'm reading an article by Wei-Ming Ni about the existence of solutions for the elliptic problem $$\Delta u +|x|^\lambda |u|^\tau =0,$$ in the unit ball $\Omega$ in dimension $>2$. I'm looking for ...
4
votes
0answers
67 views

Minimisers and critical points of variational integrals

In the following we consider $\Omega\subset\mathbb{R}^n\ (n\geq2)$ to be open, bounded and with Lipschitz boundary. Consider the following regular variational integral: \begin{equation*} I[u]=\int_{\...
17
votes
5answers
1k views

Explicit Eigenvalues of the Laplacian

Let $(M,g)$ be a compact manifold without boundary. Question: For which $(M,g)$ are the eigenvalues of the Laplace operator on functions explicitly known? An important example is the $n$-sphere ...
1
vote
0answers
36 views

Sobolev spaces, Finite Element Error Analysis

Let $\Omega\subset \mathbb{R}^{2}$ be a bounded, convex, polygonal domain and $H=\{(u_{1},u_{2})\in H^{\epsilon-\frac{1}{2}}(\Omega)\times H^{\epsilon-\frac{1}{2}}(\Omega),0<\epsilon<\frac{1}{2}:...
1
vote
0answers
46 views

How to define Biharmonic operator for second order sobolev spaces

I am studying an article Link of Article. There author assumes that $\Omega \subset \mathbb{R}^N$, $ N>4 $ . Some where in the paper we have $$ \Delta^2 (\cdot) - \frac{\lambda}{|x|^4} (\cdot) : W^...
2
votes
2answers
226 views

Eigenfunctions of the Laplacian on singular spaces

Consider a compact manifold $M$ with boundary and corner. As an example, we could have the cube $\{(x_1, x_2,..x_n) \in \mathbb{R}^n : x_i \in [0,1]\}$. We could very well define the Laplacian $\Delta$...
5
votes
1answer
190 views

Does pseudo-holomorphic *submanifolds* satisfy unique continuation?

Let $f,g:(D^2,j_\mathrm{std})\to(B^{2n}(1),J)$ be two pseudo-holomorphic maps. The following unique continuation result is well-known (it may be proved using either Aronszajn's Lemma or the Carleman ...
2
votes
1answer
184 views

Second order estimates of Monge-Ampere equations

In order to prove existence of solutions of real and complex Monge-Ampere equations in various modifications (e.g. as in the Calabi problem) one often uses the method of a priori estimates. One of the ...
1
vote
0answers
80 views

Existence of at least one positive solution for semilinear biharmonic equation with critical exponent

Let $\Omega \subset \mathbb{R}^N$, $N\geq 5$. Now assume the biharmonic problem with singular term as follow \begin{cases} ‎\Delta^2u=‎‎\lambda ‎‎\dfrac{u}{|x|^4}‎‎+u^{‎p}‎ & \mathrm{in}‎\hspace{...
1
vote
0answers
60 views

Is there any theory of Hamilton-Jacobi system?

I am curious that is there any theory for (time-dependent) HJ system? I know for HJ equation, we have viscosity solution, which depends heavily on Maximal principle. However, for systems, this seems ...
1
vote
1answer
99 views

Cea's lemma and norms

I would like your help understanding this article. Page 239 (3.2 A priori error estimates), I am quickly getting lost because of the type of norm that is always changing. Things I do not ...
0
votes
0answers
48 views

Is the heat kernel satisfies the heat equation in viscosity sense?

Let us see the heat kernel \begin{equation} k(x,t)= \begin{cases} (4\pi t)^{-\frac{n}{2}}\exp\{-\frac{1}{4}t^{-1}|x|^{2}\},t>0\\ 0,t\leq0. \end{cases} \end{equation} It is easy to see that $k\in C^{...
2
votes
0answers
187 views

One parameter family of elliptic equations

Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...
1
vote
0answers
83 views

Examples for differential operators first order

Currently I am dealing with the problems which involve the general first order differential operator, i.e., for some open domain $\Omega\subset\mathbb{R}^n$ with certain regular bondary and a function ...
1
vote
0answers
73 views

biharmonic equation with L^1 data and Navier Condition

I am reading an article that, a section of it is mentioned below . I have some question about this section. I will ask my question after the section below. I am thanksed if some one could help me , ...
3
votes
2answers
264 views

What can we say about the boundary of the level set of a Sobolev function?

I'm a beginner of the area of free boundary problem. Let me first give some background: $\Omega \subset \mathbb{R}^n$ is an open connected set, and locally $\partial \Omega$ is a Lipschitz graph. ...
2
votes
2answers
149 views

References for non-zero boundary value problem

I studied linear elliptic, parabolic and hyperbolic PDEs (boundary/initial value problem) in terms of existence, uniqueness and regularity. I studied always, following Evans book "PDE", the case with ...
1
vote
0answers
106 views

Regularity of weak solution

I have also posted the question here. Let me explain what difficulties I have. In fact, one may write \begin{equation} \partial_1(f-\partial_1 u)=0 \end{equation} in $\Omega$. Then one may have the ...
3
votes
3answers
193 views

Limits for eigenvalues for the Dirichlet Laplacian

If $\Omega$ is a bounded domain in $\mathbb{R}^n$, let $\lambda(\Omega)$ be an eigenvalue of the problem $$ \begin{cases} -\Delta u=\lambda u & \mbox{in }\Omega\\ u=0 & \mbox{on }\partial\...
1
vote
0answers
84 views

Existence of the solution of a Dirichlet type differential equation

I'm reading the first chapter of the book A geometric approach to free boundary problems by Caffarelli and Salsa, see the PDF here. The question came from Page 14—15. Let me state my question: ...
1
vote
0answers
54 views

Monotonic convergence of Newton's method for boundary value problems

I’m interested in solving nonlinear elliptic boundary value problems of the type $$ -a\Delta u + f(u) = 0, $$ $$ u|_\Gamma = u_0 $$ by Newton’s method when its convergence is global and monotonic. ...
0
votes
1answer
144 views

Square Integrable Harmonic Functions in an Infinite Strip

Suppose $S= \left\{x \in \mathbb{R}^3 : a <x_1< b \right\} $ is an infinite strip the three dimensional Euclidean Space. Is it true that the only $L^2$ harmonic function in this strip is the ...
0
votes
2answers
190 views

Operator on a Sobolev space [closed]

I'm studying Sobolev spaces using Evans' PDE book. I can't figure out this simple fact. Let $L$ be an operator in this form: $$Lu= \sum{D_i(a_{ij}D_j(u))+\sum{b_iD_i(u)+cu}}.$$ I can't understand why ...
0
votes
1answer
130 views

How to modify a $H^1$ weak convergence sequence so that I have the $L^2$ equi-integrability of gradient?

Assume $u_n\to u$ weakly in $H^1(\Omega)$ where $\Omega\subset \mathbb R^N$ is open bounded Lipschitz boundary. My goal is to find a new sequence $\bar u_n$ and a new function $\bar u$ such that $...
2
votes
1answer
107 views

solvability of linear elliptic pde on a torus

Consider a linear non-divergent form elliptic PDE on a flat torus $\mathbf{T}^n$, $$a_{ij}\partial_{ij}u+b_i\partial_iu=f$$ where all the coefficients and $f$ are smooth. What is the condition that ...
1
vote
0answers
95 views

Regularity result for the elliptic equation with Neumann conditions

I am having troubles to justify well some inequalities related with the classical theory of elliptic equations. Let us consider the problem \begin{align*} -\Delta c & =f,\text{ in }\Omega\\ \...
1
vote
0answers
97 views

Limit for eigenvalues of the Dirichlet problem

If $\Omega$ is a bounded domain in $\mathbb{R}^n$, let $\lambda(\Omega)$ be an eigenvalue of the problem $$-\Delta\,u=\lambda\,u\,\,\mbox{in}\,\,\, \Omega, \, u=0\,\,\,\mbox{on}\,\,\, \partial\Omega.$$...
1
vote
1answer
191 views

Norm equivalent to Sobolev norm? [closed]

On the hyperbolic space $\mathbb{H}^n$, it is known that the spectrum of the Laplacian satisfies $\text{Spec}(-\Delta) \subset [\frac{(n - 1)^2}{4}, \infty)$. Consider the operator $P = -\Delta + a$, ...
4
votes
1answer
105 views

An inequality for eigenvalues of the Dirichlet problem

Is either of these inequalities true? $$\lambda(tA + (1-t)B)\geq t\lambda(A) + (1-t)\lambda(B)$$ or $$\lambda(tA + (1-t)B)\leq t\lambda(A) + (1-t)\lambda(B),$$ where $0\leq t \leq 1$, $A,B$ are ...