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

2
votes
1answer
167 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
105 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
89 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
0answers
147 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
74 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 ...
8
votes
3answers
395 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 ...
9
votes
1answer
165 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
62 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
88 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
30 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
383 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
41 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
89 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
121 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
111 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
70 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 ...
5
votes
1answer
225 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
127 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
73 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
54 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
207 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
332 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
33 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
91 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
65 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
272 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
358 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
198 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
87 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
88 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
173 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
293 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 ...
0
votes
1answer
132 views

find a weak solution in an intersection of Sobolev spaces

In using-lax-milgram-to-find-a-weak-solution-in-an-intersection-of-sobolev-spaces the weak solution for $$ -\Delta^2 u = f \in L^2(U)\\ \\ u|_{\partial U}=\Delta u|_{\partial U} = 0 $$ was ...
2
votes
0answers
81 views

A question about fractional integrals

I am starting from Theorem 3.4 in Struwe's book Variational methods. The authors proves an existence result for a problem with critical growth. I would like to replace the laplacian with the ...
0
votes
0answers
244 views

Analytic solution of Poisson's equation

Consider Poisson's equation $\nabla^2 u = 1$ on a square of side-length 1 centered at the origin. Cut out a circle of radius 1/3 at the center of this square. Impose a von Neumann boundary condition ...
1
vote
0answers
148 views

Bunimovich stadium bouncing ball

http://terrytao.wordpress.com/2008/07/07/hassells-proof-of-scarring-for-the-bunimovich-stadium/ I cannot relate how the eigenfunctions normalizaed correspond to the probabality distribution of the ...
1
vote
2answers
173 views

vector valued pde's good reference

I recently came across a Dirichlet problem for a vector valued functions. In broad terms the problem is as follows. Suppose $\Omega \subset \Bbb R^n$ is a smooth bounded domain, $P:C^\infty(X)^n ...
1
vote
1answer
204 views

A proof of energy functional appearing in the regularity of elliptic and parabolic equations

I have got trapped in this problem for nearly two years when I dealt with regularity of solutions of elliptic and parabolic equations. I have not found a nice proof to support this assertion. Now I am ...
2
votes
1answer
183 views

Pseudoinverse of Neumann-Laplacian

Suppose you have the following PDE: find $u \in H^1(\Omega)$ such that $$-\Delta u = f, \\ \frac{\partial u}{\partial n} = 0. $$ Further assume a solvability condition $$\int_\Omega f ...
1
vote
2answers
98 views

Bound deg 3 partial differential operator on Laplace eigenfunction?

I am no expert on PDE and analysis but I am looking for certain technique from PDE. Let $D_2$ be the Laplace operator and $f$ is an eigenfunction, i.e., $D_2 f=\lambda f$ for some $\lambda>1$. (or ...
7
votes
1answer
1k views

Yau's conjecture for positive Chern class

I heard in a conference that Yau's conjecture is open for positive Chern class. I read in an article that talked about some stability conditions necessary in this case. So I want to know if this ...
0
votes
1answer
119 views

analytic solution to elliptic PDE in R^n

I am looking for (minimal) conditions, which guarantee that the problem Lu = 0 in R^n, where L is a second-order (uniformly) elliptic operator with analytic coefficients, has a unique global ...
8
votes
1answer
182 views

Failure of Fredholm property of elliptic PDE systems

Roughly speaking, a PDE operator satisfies the Fredholm property if its principal symbol is elliptic and the information provided on the boundary satisfies the Shapiro-Lopatinskii condition. What can ...
3
votes
1answer
274 views

A question about the $C^{2,\alpha}$ regularity of concave fully nonlinear uniformly elliptic equation

While reading Theorem 6.6 of Chapter Six of "Fully nonlinear elliptic equation" by Luis A. Caffarelli and Xavier Cabre in the American mathematical society colloquium publications vol. 43, I get two ...
2
votes
2answers
118 views

Is the left regularizer for elliptic BVP a left inverse for the principal part?

Take a differential operator with elliptic symbol, consider just the principal part of the operator. Can one invert this principal part with some parametrix type construction (at least construct a ...
3
votes
2answers
273 views

Non symmetric coefficient matrix for elliptic PDE

Let $\Omega \subset \mathbb{R}^n$ be a domain and consider the PDE in divergence form $$ D_i(a_{i,j}D_ju)=0 \tag{1}$$ where $a_{i,j}(x)$ are measurable and satisfly the uniform ellipticity ...
2
votes
0answers
89 views

A parametrix for the $\bar\partial$ operator adapted to a holomorphic foliation

Let $X$ be a compact complex manifold with (regular) holomorphic foliation given by a holomorphic subbundle $\mathcal F$ of the tangent bundle. The foliation induces a filtration on differential ...
5
votes
1answer
486 views

Possible mistake in De Giorgi's paper on Holder's regularity

$\mu_{n-1}$ is the $n-1$ dimensional measure and $\operatorname{meas}$ is the $n$-dimensional one. $I(\varrho)$ is the ball of radius $\varrho$ around a fixed point $y$ in the domain $\Omega\subset ...
4
votes
1answer
218 views

Caccioppoli-Leray Inequality for De Giorgi's theorem proof

I am studying De Giorgi's proof of Holder continuity of solutions of elliptic equations with bounded measurable coefficients. This is the translation of the original paper De Giorgi paper At page ...
2
votes
0answers
94 views

Regularity of solution of nonlinear equation

Hi! Let $L$ be a linear elliptic operator of order $4$ with smooth and bounded coefficients on the ball $B_1$ of $R^{2n}$ and let $N\in C_{loc}^{0,\alpha}(R^{3})$. Let $f\in C^{0,\alpha}(B_1)$ ...