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

19
votes
3answers
1k views

Convergence of finite element method: counterexamples

There are many known results proving convergence of finite element method for elliptic problems under certain assumptions on underlying mesh [e.g., Braess,2007]. Which of these common assumptions are ...
15
votes
1answer
463 views

Does a Riemannian manifold with bounded geometry admit an isometric proper embedding into Euclidean space with uniformly thick tubular neighborhood

Suppose $(M,g)$ is an open Riemannian manifold with bounded geometry, i.e., the injectivity radius is $\ge \epsilon>0$ and each iterated covariant derivative of curvature is bounded with respect to ...
12
votes
4answers
617 views

Green's operator of elliptic differential operator

Let $P:\Gamma(E)\rightarrow\Gamma(F)$ be an elliptic partial differential operator, with index $=0$ and closed image of codimension $=1$, between spaces $\Gamma(E)$ and $\Gamma(F)$ of smooth sections ...
12
votes
2answers
382 views

Does the Legendre-Hadamard condition imply a generalized Gårding inequality?

For simplicity, we restrict to constant coefficients. Let $A^{ij}_{ab} \in \mathbb{R}$, $1 \le i, j \le n$ and $1 \le a, b\le m$, satisfy the Legendre-Hadamard condition: $$ ...
10
votes
1answer
186 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) ...
8
votes
3answers
415 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 ...
8
votes
1answer
194 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 ...
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 ...
7
votes
2answers
303 views

Fredholm alternative result for general elliptic system?

Now I have known that Fredholm alternative result is valid for the strong elliptic system. But I'm not sure that is it still valid for the general elliptic system, in which the second-order heading ...
7
votes
1answer
135 views

Mountain Pass theorem for minimization problems with constraints

Let $I[u]$ be a functional on a (possibly infinite dimensional) Hilbert space. Then, under some conditions, the Mountain Pass theorem guarantees the existence of a saddle point (see ...
6
votes
2answers
2k views

Moser iteration for elliptic systems

I heard that De Giorgi-Nash-Moser type regularity arguments fail for elliptic systems, but do not know where to start looking for more substantial information. Why does the regularity fail? Is there ...
6
votes
3answers
1k views

Betti number and harmonic forms

Dear Experts, On a compact, boundless, Riemannian manifold, the dimension of the space of harmonic k-forms is equal to the k-th Betti number. Is this correct (by Hodge theory)? For example, on the ...
6
votes
3answers
586 views

Moser regularity proof avoiding John-Nirenberg lemma

I heard a rumor that there exists a proof by Moser-style iteration of the $C^{0,\alpha}$-regularity for $W^{1,2}$-solutions $u$ to elliptic equations with measurable coefficients which does not rely ...
6
votes
2answers
147 views

Is there a maximum principle for stress in continuum mechanics?

I'm working with the equilibrium equations in linear elasticity, which I have not worked with in the past. My engineering colleagues seem to "know" that the maximum Von Mises stress occurs on the ...
6
votes
3answers
177 views

Stability of the spectrum for perturbations of the boundary

Consider the Laplace operator on a smooth bounded open set with Dirichlet boundary conditions. I need some result of the following type: if one perturbs the boundary in a suitable sense to be ...
6
votes
2answers
908 views

Estimates on the Green function of an elliptic second order differential operator.

Let $D$ be a linear differential elliptic operator of second order with infinitely smooth coefficients acting on real valued functions on a compact manifold $M$. Let us assume that $D$ has no free ...
6
votes
0answers
158 views

What is the first eigenvalue of $p$-Laplacian on unit sphere $S^n$?

We know that the first eigenvalue of Laplacian on the Riemannian unit sphere $S^n$ is $n$, then what is the explicit expression for the first eigenvalue of $p$-Laplacian on $S^n$? The $p$-Laplacian ...
6
votes
0answers
131 views

Local solvability of nonlinear elliptic boundary value problems

Malgrange proves the following statement regarding local solvability of (determined or underdetermined) nonlinear elliptic systems: Let $F_i(x,D^\alpha u)=0$ be a nonlinear elliptic system of order ...
6
votes
0answers
692 views

elliptic regularity on manifolds

Hello! I'm reading the book of T. Aubin Some nonlinear problems in Riemannian geometry. In chapter 3 he introduces elliptic operators on manifolds, but then he gives regularity results for elliptic ...
5
votes
1answer
506 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 ...
5
votes
3answers
398 views

Divergence form Elliptic PDE Removable Singularity/Regularity Question

Idea Given a $W^{1,2}$ solution to a linear divergence form uniformly elliptic pde with bounded coefficients, standard De Giorgi-Nash-Moser theory tells us that the solution is infact (Holder) ...
5
votes
3answers
960 views

Integration by parts for a general negative-definite self-adjoint operator.

I suspect I am asking a very stupid question. Suppose you have self-adjoint negative-definite operator $L$ densely defined on a space $L^2(\pi)$, with $Lf = \nabla \cdot ( A(x)\nabla f)$, for some ...
5
votes
3answers
326 views

Structure of sign changes under the heat flow

Let $f$ be a smooth function on $R^2$, and define $N_f$ to be the set of points $p$ such that the nodal set of $f$ ($\{x\in R^2: f(x)=0\}$) divided every neighborhood of $p$ into four regions. Indeed, ...
5
votes
1answer
117 views

significance of the Fučík spectrum

The Fučík spectrum seems to gain momentum among people working on spectral theory, with almost 300 articles published on this topic over the last 5 years, according to Google scholar. There exist ...
5
votes
1answer
238 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 ...
5
votes
1answer
144 views

Elliptic operator on non compact manifolds with ends of the type $\Omega\times (r,\infty)\times\mathbb{R}$

A smooth manifold $M$ is a manifold with a cylindrical end if there exists a compact subset $K\subset M$ such that $M\backslash K$ is diffeomorphic to $\Omega\times (r,\infty)$ where $\Omega$ is a ...
5
votes
1answer
363 views

A moving boundary in rock mechanics

I'm concern a moving boundary problem in rock mechanics. We consider a problem of unsaturated flow of an in-compressible fluid in a porous medium(rock) like D. Moreover suppose that support of a ...
5
votes
0answers
279 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
2answers
215 views

A question on certain elliptic PDE

Consider the elliptic PDE "CR" $$\begin{cases} U_{xx}=V_{yy}\\U_{yy}=-V_{xx} \end{cases}$$ And its consequence "LAP" $$U_{xxxx}+U_{yyyy}=0$$. Somehow, these equations are similar to the Cauchi ...
4
votes
2answers
244 views

T. Carleman's method on eigenvalues asymptotics

What is the best available less or more modern introduction to the subject?
4
votes
2answers
215 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$ ...
4
votes
1answer
248 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 ...
4
votes
2answers
338 views

Can the solution of an elliptic operator with smooth coefficients have zeros of infinite order?

I've been told that the answer is no, but I'm having a hard time finding a reference. More precisely, I'm interested in the following. Let $\Omega \subset \mathbb{R}^n$ be a bonded open connected set, ...
4
votes
1answer
768 views

Nash's paper on parabolic equations.

I am currently studying the paper "CONTINUITY OF SOLUTIONS OF PARABOLIC AND ELLIPTIC EQUATIONS" by John Nash (cf. American Journal of Mathematics, Vol. 80, 1958). The author there establishes some a ...
4
votes
1answer
195 views

Simplicity of eigenvalues of an elliptic operator under a symmetry assumption

A striking difference in the spectral analysis of 2nd order elliptic boundary-value problems between one and several space dimensions is the following. In one space dimension, the eigenvalues are ...
4
votes
1answer
328 views

Does Hölder continuity imply smoothness for the CMC equation: $u:D^2\rightarrow\mathbb{R}^n$, $\Delta u = 2H\partial_xu\times\partial_yu$, $H$ constant?

Context: I am currently reading through the freely available lecture notes from Tristan Riviere (here) on the applicability of integration by compensation in the analysis of various geometrically ...
4
votes
1answer
426 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
1answer
192 views

Please recommend some literature on the systematical theory of the elliptic systems!

Now I'm interested in the theory of elliptic systems, for example, both the linear and nonlinear case, the exsitence and regularity results, and is there a Fredholm alternative result for the linear ...
4
votes
1answer
208 views

$C^0$ estimate for solutions of elliptic PDE with Neumann BC

I am interested in a reference for (or counterexample to) a particular $C^0$ estimate for solutions of the Laplace equation with Neumann boundary conditions. More precisely, let $(M,g)$ be a ...
4
votes
1answer
567 views

regularity of solutions of fractional laplacian

Hello, I am looking for boundary regularity of solutions of $(-\Delta)^s u= f(x)$ in $\Omega$ with Dirichlet boundary conditions and where $f $ is nice enough say $f\in C^{1,\alpha}(\overline\Omega)$. ...
4
votes
0answers
49 views

How do solutions of a PDE depend on parameters?

Let $\Omega\subset\mathbb R^n$ be a bounded smooth domain and $\sigma_1,\sigma_2:\Omega\to(c^{-1},c)$ measurable (for some constant $1<c<\infty$). Let $f\in ...
4
votes
0answers
191 views

Characterization of kernel of Bianchi operator

Let $M$ be a smooth compact manifold, $\mathcal{S}=\Gamma(\odot^2T^*M)$ the Frechet space of symmetric $2$-covariant tensors, and $\mathcal{M}=\Gamma(\odot^2_+T^*M)$ the Frechet manifold of metrics on ...
4
votes
0answers
61 views

A “gradient” weak Harnack inequality for quasilinear elliptic equations

Suppose we are in the following loosely described setting: we have a non-negative supersolution $h$ of the following elliptic equation: \begin{equation} \Delta h + \|\nabla h\|^2 + f(x) \geq 0 ...
4
votes
0answers
158 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 ...
4
votes
0answers
79 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 ...
4
votes
0answers
429 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 ...
4
votes
0answers
326 views

Do there exist generalized conformal maps that preserve elliptic measure?

Let $D_1$ and $D_2$ be two bounded simply connected Jordan domains in $\mathbb{R}^2$. By Carathéodory's Theorem there exists a homeomorphism $f:\bar{D}_1 \to \bar{D}_2$ such that the restriction ...
3
votes
2answers
685 views

Maximum Principle fails when u∉C²(Ω)? Can't find example.

I would like an example where the maximum principle fails in a bounded smooth domain $\Omega$ where one has a solution which is not $C^2(\Omega)$ to $Lu=0$ where $L$ is elliptic and linear. This ...
3
votes
2answers
486 views

Smooth Sobolev extension from $W^{1,p}(U)$ to $W^{1,p} (\mathbb{R}^n) $

The question I would be asking is roughly : do the smooth Sobolev functions defined on an open bounded domain extend to smooth Sobolev functions on the Euclidean space ? For detail : Fix $p \geq 1. ...
3
votes
2answers
826 views

The Hölder continuity condition of the Schauder estimates

The classical Schauder estimates (see the link) http://en.wikipedia.org/wiki/Schauder_estimates Requires $f\in C^\alpha$ in order to get a solution $u\in C^{2+\alpha}$ of the equation $$\Delta u=f$$ ...