# Tagged Questions

**2**

votes

**0**answers

83 views

### Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definition
We define the Zygmund spaces $C^r_{*}$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are allowed to have values in $\mathbb{R}^m$, via working with ...

**-1**

votes

**0**answers

60 views

### Radial Symmetry [closed]

Let $B\subset\mathbf{R}^n$ ($n\geq2)$ the open ball of radius $R$ centred at the origin and $u\in C^2(\overline{B})$. Suppose that
$$
v_{ij}=x_i\frac{\partial u}{\partial x_j}-x_j\frac{\partial ...

**0**

votes

**0**answers

50 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

**0**answers

70 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

**1**answer

140 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 ...

**0**

votes

**0**answers

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

**0**answers

71 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

**0**answers

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

**0**answers

129 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 ...

**1**

vote

**0**answers

79 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

**0**answers

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 ...

**2**

votes

**2**answers

116 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

**1**answer

83 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

**1**answer

128 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

**1**answer

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 ...

**6**

votes

**0**answers

113 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

**0**answers

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 \, ...

**2**

votes

**2**answers

365 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

**1**answer

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

**1**answer

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 ...

**4**

votes

**1**answer

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

**1**answer

119 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

**0**answers

65 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

**1**answer

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

**0**answers

199 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

**0**answers

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 ...

**5**

votes

**0**answers

269 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

**1**answer

266 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

**2**answers

175 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

**0**answers

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

**1**answer

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

**1**answer

250 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

**0**answers

222 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

**2**answers

162 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 ...

**2**

votes

**1**answer

177 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

**2**answers

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 ...

**0**

votes

**1**answer

109 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

**0**answers

130 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

**1**answer

256 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

**2**answers

115 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

**2**answers

251 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

**1**answer

473 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

**1**answer

196 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

**0**answers

92 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

**2**answers

246 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

**1**answer

164 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

**1**answer

218 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

**1**answer

129 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

**1**answer

208 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

**1**answer

127 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: ...