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

1
vote
1answer
45 views

W^{2,∞} regularity of solutions of Poisson's equation if the right hand side is in L^{∞}

Let $u$ be solution of $-\Delta u = f$ in $\Omega$ and $\frac{\partial u}{\partial n} = 0$ on $\partial \Omega$. Is it true that if $f \in L^{\infty}(\Omega)$ then $u \in W^{2,\infty}(\Omega)$? ...
0
votes
0answers
48 views

inequality involving gradient of two harmonic functions

My question is about the last inequality in the case i) of the proof of lemma 2.3 of this paper: Existence of classical solutions to a free boundary problem for the p-Laplace operator, (I) by A. ...
1
vote
0answers
67 views

Stokes operator without dirichlet boundary condition

Let $\Omega$ be a domain, then the following stokes operator is quite well known : $\mathcal{H} \rightarrow \mathcal{V}_{\sigma} $ $f \rightarrow u$ such that $ - \Delta u = f $ where $ ...
1
vote
1answer
138 views

Interior gradient estimate for uniformly elliptic equations

I am struggling with a problem like this: In dimension $n\geq 3$, For the following uniformly elliptic equation, do we have interior gradient estimates? $$a^{ij}(x)u_{ij}(x)+u_{nn}=0.$$, where ...
-2
votes
2answers
101 views

Lack of parabolicity of PDE due to invariancy under diffeomorphisms? [closed]

Let a nonlinear differential equation is invariant under all diffeomorphisms, then we get lack of parabolicity?
1
vote
1answer
44 views

Estimate for elliptic problem on continuous functions

For an elliptic operator $$ Lu = (a^{ij} D_iD_j + b^i D_i + c)u = f,$$ with suitable assumptions on the coefficients, one usually has Schauder estimates of the form $$ \|u\|_{C^{2, \alpha}} \leq ...
0
votes
0answers
34 views

reading request on linear elliptic systems of pdes, strong solutions

Does anyone have some references where I could find results on strong solutions to linear elliptic systems of pdes ? Regards
0
votes
0answers
70 views

Estimate for an integral of a function of the solution to a PDE

Let $\Omega \in \mathbb{R}^3$ be a bounded smooth domain. Assume that smooth functions $\sigma_1,\sigma_2$ satisfy $\sigma_1-\sigma_2 \in C_0^\infty(\Omega)$ and $\lambda\leq \sigma_1, \sigma_2 \leq ...
2
votes
0answers
82 views

Minimizing some $H^{-1}$ functional over (a subset of) probability densities in $R^d$

Let me consider the following subset of probability measures in $R^d$ $$ \mathcal{K}_M=\left\{0\leq u(x)\in L^1(R^d):\quad \int u(x)dx =1,\,\int|x|^2u(x)dx\leq M,\,\int u(x)|\log u(x)|dx\leq M\right\} ...
2
votes
0answers
127 views

Reference request: optimal $L^p$ regularity for solutions to $-\Delta u=f$ with $f\in L^1(R^d)$

The tilte says it all. Given $f\in L^1(R^d)$ (let me restrict to dimension $d\geq 3$ for convenience), what is the optimal $L^p$ regularity for solutions to $$ -\Delta u=f\hspace{3cm}(1)? $$ I'm of ...
2
votes
1answer
88 views

Implicit function theorem for operator

I am reading the paper of Convergence of the Yamabe flow for arbitrary initial energy I am stuck by one part of the paper. Suppose $u_\infty>0$ is a smooth function on $(M, g_0)$ and ...
0
votes
0answers
51 views

mixed Dirichlet Neumann regularity for an elliptic equation

Here is a problem which may be easy for some of you but not for me. Statement of the problem: Denote $\Omega := \{ (x,y) \in (0, \infty) \times (-\infty,\infty) \}$. Let $f \in L^2(\Omega)$ then by a ...
1
vote
0answers
78 views

On the proof of a $W^{2,p}$ estimate - regularity on eliptic PDE

I see this proof on http://www.math.uiowa.edu/~lwang/cccalderon.pdf and I couldn't understand what he did. If $||f||_{L^p(B_{4})} = \delta$ is small and the measure $|\{ x \in B_1; ...
1
vote
0answers
68 views

Limit Toward Discontinuous Point of Dirichlet Boundary Value

The question arises from a paper on Schwarz's domain decomposition method (click here). We consider a bounded domain in $\mathbb{R}^2$ and a curve splits it into two, see the figure below. Now we ...
3
votes
1answer
66 views

What can we say about the left inverse of the Green's function?

Let $\mathbb{D}$ be an self-adjoint elliptic operator of a compact manifold and $G(x,y)$ the Green's function of $\mathbb{D}$. By definition $G(x,y)$ is the right inverse of $\mathbb{D}$ in the sense ...
1
vote
1answer
87 views

Is Green's function of an elliptic operator always symmetric?

Let $D$ be an elliptic operator of a compact Riemannian manifold and $G(x_0,x_1)$ the Green's function of $D$. Is $G$ always symmetric in variables $x_0$ and $x_1$, i.e. $G(x_0,x_1)=G(x_1,x_0)$? If ...
2
votes
2answers
115 views

Let $\mathrm{div}\,(A\,\mathrm{grad}\,u) + b u = f$. Is $(A\,\mathrm{grad}\,u)$ weakly differentiable?

Let us consider the basic linear elliptic PDE $$ \mathrm{div} (A\,\mathrm{grad}\,u) + bu = f, $$ with $f\in L^p,$ $A,b$ uniformly bounded. Do we have, for a weak solution $u\in W^{1,p}(\Omega')$, $$ ...
2
votes
1answer
81 views

When does $\{u\in H^1_0: \Delta_{\mu}u\in L^2\}=H_0^1\cap H^2$.

Let $(M,\mu)$ be a weighted Riemannian manifold. In Grigor’yan's book, he proves that the Dirichlet Laplacian $\Delta_{\mu}$ is self-adjoint on the set $u\in\{u\in H^1_0(M): \Delta_{\mu}u\in L^2\}$. ...
2
votes
1answer
124 views

Gradient elliptic estimate

Consider the half space $\Omega=\{x=(x_1,...,x_N)\in\mathbb{R}^N:x_N>0\}$. Let $u\in C^2(\Omega)\cap C(\overline{\Omega})$ a positive bounded solution of $$ \begin{eqnarray*} \Delta u+f(x_N,u)=0, ...
0
votes
0answers
98 views

positive eigenfunction on complete Riemannian manifold

Let $(M^n,g)$ be a complete(non-compact) Riemannian manifold. Consider the positive solution to the equation $$ \Delta u = u $$ where $\Delta=\nabla_i \nabla_i$ is negative semi-definite. Is there ...
0
votes
1answer
87 views

Harmonic extension in a ball $B(x, r) \subset \mathbb R^n$

I have recently been trying to understand the theory regarding harmonic extensions in $\mathbb R^n$. I have, however, had some difficulties to find the kind of results I am looking for. For that ...
4
votes
1answer
136 views

introduction books for Dynamic systems of discrete Schrodinger operator for beginner

In this semester, I study in a class of dynamic system. recently the French professor turn to the dynamic system of discrete operator. I find it is difficult to find a book in English. (I have found ...
3
votes
0answers
62 views

Hopf Lemma for strong solutions

The Hopf lemma still holds for strong solutions? Let $u\in W^{2,p}(\Omega)\cap W_0^{1,p}(\Omega)$ with $p>n$ such that $\Delta u + c(x) u\le 0$. If $u(x)>0$ for all $x\in\Omega$ and ...
7
votes
3answers
348 views

How to define the square root of $1-\Delta $?

If $M$ is a Riemannian manifold with $\Delta $ its Laplacian, how can we define $(1-\Delta)^{1/2}$? The book I am reading says that $(1-\Delta)^{1/2}$ is an invertible first-order pseudo-differential ...
5
votes
0answers
111 views

Reference Request: Elliptic differential operators in the Fréchet setting

Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
2
votes
0answers
57 views

Integrability of $D^2u$ for $\infty$-harmonic function $u$?

Consider infinity harmonic functions; that is, functions satisfying $\Delta_\infty u = 0$ with $$\Delta_\infty u = \langle Du, D^2 u \, Du \rangle = \sum_{i,j} \frac{\partial^2 u}{\partial x_i \, ...
0
votes
0answers
68 views

Heat equation with heterogeneous heat conduction

I'm trying to discretize and a heat conduction/diffusion problem using finite differences and I was wondering how to use a discrete heat conduction coefficient defined per cell (instead of per ...
1
vote
0answers
27 views

Constructing a family of domains for application of method of continuity in optimal transportation

Anyway can help me about this paper? http://arxiv.org/pdf/math/0601086v4.pdf I want to ask page 20, The author want to construct a family of subdomain for using method of continuity. But I can't ...
2
votes
2answers
363 views

Elliptic theory on compact manifolds

Maybe this is silly. On a bounded set $\Omega\subset\mathbb{R}^n$ consider the equation $$ \Delta u=f \quad\text{ in $\Omega$}$$ $$ u=0\quad\text{ on $\partial\Omega$}.$$ One has the following ...
2
votes
0answers
37 views

reference on existence result for nonlinear elliptic PDE

During my work, I came to the question of existence of weak solutions to the following elliptic equation $$\triangle u + \partial_{1} u + \partial_2(f(x_1,x_2,u)) = 0 \hbox{ in } \Omega$$ with ...
0
votes
0answers
83 views

Wave operator for focusing NLS

Consider the NLS equation \begin{equation} \left\{ \begin{array}{rl} iu_t + \Delta u+u|u|^{\alpha}=0\\ u(0) =\varphi\in H^{1}(\mathbb{R}^N), \\ \end{array}\right. \end{equation} where ...
2
votes
1answer
116 views

Extending a harmonic function in a ball to subharmonic in a larger ball

Consider the Laplace equation in a ball $B(r) \subset \mathbb{R}^n$ of radius $r$: $$ \begin{cases} -\Delta u &= 0, \quad \text {in} \quad B(r), \\ \ \ \ \ \ \, u&= g, \quad \text {in}\quad ...
0
votes
1answer
109 views

Integrability of the Poisson integral

Maybe this is rather obvious, but I'm stuck. Let's consider the Laplace equation in the upper half plane with boundary condition $g$, $i.e.$ $$ \Delta u(x,y)=0, u(x,0)=g(x). $$ Then the solution is ...
2
votes
1answer
68 views

Extendability of $L^{p}$ harmonic functions

Let $u$ be a harmonic function on some open set $\Omega\subset\mathbb{R}^{n}$ and $u\in L^{p}\left(\Omega\right)$. Is there any reference on extending $u$ to harmonic function on a larger open set ...
4
votes
1answer
213 views

Green's function for *GJMS* operator

Consider a Riemannian manifold $(M^n, g)$ of dimension $n$ with a metric $g$. We assume $M$ to be closed (compact without boundary). Let's not assume any hypothesis on the Yamabe invariant of the ...
3
votes
1answer
117 views

A question about solutions to Floer's equation which are asymptotic to a stationary point

Let $M$ be a compact symplectic manifold and $H$ a time independent Hamiltonian on $M$. Let $\alpha$ be a solution to Floer's equation $$ u(t,s): S^1 \times \mathbb{R} \to M$$ $$(du+X_H\otimes ...
0
votes
0answers
64 views

Mean value formula for high order elliptic operators

Weyl's lemma says any distributionally harmonic function $u\in L^1_{\text{loc}}$ is harmonic. One way to prove it is as follows. Take radially symmetric compactly supported and smooth approximation ...
0
votes
0answers
45 views

basic doubt in a free boundary problem for the p-Laplacian

I am studying the following article : http://hal.archives-ouvertes.fr/docs/00/12/87/60/PDF/fbpLaplacian.pdf In this article the author consider $K \subset \{ x \in R^n ; x_1 = 0 \}$ a smooth, ...
1
vote
1answer
199 views

Reference request: Boundary behavior and quantitative lower bound for the principal eigenfunction of an elliptic PDE in a ball $B(r)$

Consider the elliptic eigenvalue problem $$ \begin{cases} \int_{B(r)} A(x) \nabla u \cdot \nabla \phi \, dx &= \ \ \frac{\lambda_1}{r^2}\int_{B(r)} u \phi \, dx \\ \qquad \qquad \qquad \quad ...
4
votes
0answers
190 views

Linearizing and solving a nonlinear PDE numerically

Im trying to solve the following (transport & diffusion) nonlinear PDE numerically (via finite volume on a cuboid region. Some Material gets cooled down, s.t. in some areas the material becomes ...
0
votes
0answers
24 views

Vanishing of non commutative ( Wodzicki) residue on pseudo differential projections

Its a known fact that the non-commutative (Wodzicki) residue of a pseudo-differential projection is always zero. My question is: Is it possible to get this result by looking at structure of the ...
2
votes
0answers
87 views

slightly subcritical elliptic pde; the linearized equations

Let $ p_m \nearrow \frac{N+2}{N-2}$ and consider the family of elliptic problems $$-\Delta u_m(x)=u_m(x)^{p_m} \quad B \qquad \quad u_m =0 \quad \partial B,$$ where $B$ is the unit ball ...
0
votes
0answers
62 views

A density result for biharmonic functions

Let $U_1, U_2\subset\mathbb R^3$ open and homeomorphic to the open unit ball, with sufficiently smooth boundary, such that $\overline{U}_1\subset U_2$. Is is true that every biharmonic function $u$ ...
5
votes
0answers
267 views

Laplacians associated to symplectic cohomologies

I am reading the paper"cohomology and Hodge theory on symplectic manifolds I" by Tseng and Yau. In this paper they consider several cohomologies on symplectic manifolds $(M,\omega)$based on the ...
4
votes
1answer
262 views

What's wrong with the Courant nodal domain theorem

The Courant nodal domain theorem (for Neumann boundary conditions) says that the $n$-th eigenfunction has at most $n$ nodal domains (connected components where the eigenfunction has the same sign. ...
4
votes
2answers
173 views

First order Elliptic operator

Assume that there exists a first order elliptic operator $D$ acting on functions from $\mathbb{R}^n$ to some vector space $V$. What can we conclude about $V$? For example, is the dimension of $V$ ...
-1
votes
1answer
83 views

Regularity of solutions for a non linear elliptic equation

Let $v_k$ be a radial sequence of function that satisfies in $\Omega\subset\mathbb{R}^4$ $(-\Delta)^2 v_k=e^{v_k}$ $v_k(x)\leq v_k(0)=0$ $\left\Vert (-\Delta)v_k\right\Vert_{L^1(B_R(0))}=O(1)\qquad ...
2
votes
0answers
78 views

Extra regularity of Poisson problem having nonzero Neumann boundary condition in convex domain

Let $\Omega\subset\mathbb{R}^2$ be a convex simply connected domain having piecewise smooth boundary, $f\in L^2(\Omega)$ and $g\in H^{\frac 1 2}(\partial\Omega)$. Grisvard in [1] among others prove ...
2
votes
1answer
168 views

Proof of regularity for bounded elliptic problem

We consider the boundary value problem for potential in the form: $$-\Delta u(\boldsymbol{x})=0,\quad \boldsymbol{x}\in \mathbb R^3\smallsetminus S,$$ with boundary conditions $$\nabla ...
1
vote
1answer
246 views

solving elliptic system of first-order linear PDE's

I am a physicist and while solving linearized Einstein's equations, have come across a system of linear PDE's with $7$ dependent variables and $2$ independent variables. There is a subsystem which ...