5
votes
0answers
102 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) ...
0
votes
0answers
36 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 \, ...
1
vote
2answers
320 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
1answer
101 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
103 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 ...
4
votes
1answer
171 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
103 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
54 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 ...
1
vote
1answer
190 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
98 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 ...
2
votes
0answers
82 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 ...
5
votes
0answers
259 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
212 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
157 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$ ...
2
votes
0answers
72 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
155 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 ...
0
votes
1answer
199 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
0answers
220 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
2answers
154 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
170 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
95 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 ...
0
votes
1answer
104 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 ...
3
votes
0answers
96 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
227 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
112 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
233 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 ...
5
votes
1answer
461 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 ...
3
votes
1answer
167 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
91 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)$ ...
7
votes
2answers
215 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 ...
4
votes
1answer
154 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 ...
1
vote
1answer
196 views

Regularity of the right hand side (the source term) in Evans-Krylov theory

A well-known theorem of Evans and Krylov states that in an equation of the form $F(D^2 u)=g$, provided that the right hand side and $u$ both have Lipschitz gradient, and that $F$ is concave or convex ...
2
votes
1answer
123 views

The maximum in the Poisson problem on the cube with constant source

Question: Let us consider the Poisson problem on the square with constant source $1$ $$ \begin{cases} - \Delta u &= 1, \qquad \text{ in } (0,1)^n \\\\ u &= 0, \qquad \text{ on } \partial ...
1
vote
1answer
206 views

In which way is this a linearization of the Gross-Pitaevskii-Equation?

In their paper [1] (full text at [2]) Bethuel et al on page 249 (bottom) linearize the moving frame Gross-Pitaevskii-Equation $0=-ic \partial_{x_1} \widetilde{v} - \Delta \widetilde{v} - ...
0
votes
1answer
125 views

Higher dimensional analogue of Kellog's theorem? (Holder continuity of solution to Dirichlet problem with Holder continuous boundary data)

Let $f:S^n\to C$ be a continuous function, $n\geq 1$. When $n=1$, this is a well-known theorem, called Kellog's theorem (or sometimes Kellog-Warschawski's theorem) which states the following Theorem: ...
4
votes
1answer
465 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 ...
1
vote
1answer
90 views

Boundedness of a given boundary value problem.

I've been given the following BVP: \begin{align*} -\Delta u = u- u^3,\: x\in \Omega \end{align*}\begin{align} u = 0,\: x\in \partial \Omega \end{align} where $\Omega\subset \mathbb{R}^N$ is bounded. ...
0
votes
1answer
174 views

Quantitative Global Schauder Estimates/Hölder Regularity

Consider the linear second order elliptic Dirichlet problem $$-\nabla\cdot (a\nabla u)\quad u=0 \text{ on }\partial\Omega$$ Condtion 1:$\Lambda |\xi|^2\geq\sum a_{i,j}(x) \xi_i \xi_j \geq \lambda ...
5
votes
3answers
337 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) ...
2
votes
1answer
243 views

Change in neumann boundary conditions through coordinate transformation of elliptic PDE, weak formulation

The standard weak formulation of the Neumann problem for the Poisson equation is to find $u \in H^1 ( \Omega)$ such that for every $v \in H^1 ( \Omega)$: $$ \int_{\Omega} \nabla u \nabla v d x = ...
1
vote
2answers
267 views

Variational problems whose lagrangian density depends on derivatives higher than 1.

The usual theory of calculus of variations, as far as I know, is concerned with lagrangian densities which depend on the function and its gradient, namely we try to minimise $\int L(Dw,w,x) dx$. ...
1
vote
1answer
289 views

Elliptic Differential Equations with rough boundary data

Question stated roughly: Consider the Dirichlet problem for an elliptic equation on a ball. How much can we say about regularity at the boundary of non-linear elliptic equations? Further, how can one ...
2
votes
1answer
187 views

Solvability of a nonlinear elliptic equation

Hi, let $\Omega \subset R^3$ be a bounded smooth domain, consider the elliptic equation \begin{equation} -\triangle u + u^2div u = f, \quad x \in \Omega, \quad u\big|_{\partial \Omega} = 0. ...
3
votes
1answer
257 views

Upper bounds for the solution of an elliptic PDE depending on a parameter.

Suppose I have the following PDE on $[0,1]^n$ $$\mathcal{L}u = -\nabla \cdot \left(a(x, r)\nabla u\right) = f(x,r), \qquad x\in [0,1]^n,$$ with periodic boundary conditions and $\int f(x) dx =0$ . ...
0
votes
1answer
129 views

What is the limit of the derivative of the harmonic extension/Dirichlet solution in $C^{1,\alpha}$ cases ?

Let $f:\mathbb{S}^1 \to \mathbb{S}^1$ be an oreintation-preserving homeomorphism. Denote by $H(f)$ the complex harmonic extension/solution in $\mathbb{D}$ to the Dirichlet problem with boundary data ...
1
vote
1answer
440 views

Is $\int_{t\in S^1} |t-\zeta|^{\alpha}p(z,t) |dt| \leq K|z-\zeta|^{\alpha}, 0< \alpha < 1$ for uniform $K$?

I asked the question before, but didn't get any reply, so I took the liberty to ask again. Let $\zeta\in S^1$(unit circle in the complex plane) and $z\in \mathbb{D}$. Fix $0< \alpha < 1$. Then, ...
3
votes
2answers
446 views

Elliptic regularity on bad domain

Let $\Omega \subset R^n$ be an open bounded set. Consider the Dirichlet problem $$ -\triangle u = 0, x \in \Omega, \quad u = \varphi, x \in \partial \Omega. $$ If $\varphi$ is a continuous function, ...
1
vote
0answers
121 views

Compactness of solutions of elliptic equation

Consider the following nonlinear elliptic equation $$ -\triangle u + u + u^3 = g, \quad x \in R^3. $$ If $g \in L^2(R^3)$, then the set $Q$ of solutions of above equation is bounded in $H^2(R^3)$, and ...
1
vote
1answer
173 views

Reference to the Existence and Uniqueness of the PDE system

Hi all I've the following Problem on systems of Partial Differential Equations.I have " N " Physical variables. and Finally I form the equation on a bounded domain having regular boundary in R^d. ...
2
votes
1answer
310 views

Does the operator $\mathrm{id}-t\Delta$ or its Green's function have a name?

Consider a Riemannian manifold and let $\mathrm{id}$ be the identity operator, let $\Delta$ be the scalar, negative-semidefinite Laplace-Beltrami operator, and let $t > 0$ be a parameter. Does ...