**1**

vote

**0**answers

84 views

### Existence of the solution of a Dirichlet type differential equation

I'm reading the first chapter of the book A geometric approach to free boundary problems by Caffarelli and Salsa, see the PDF here. The question came from Page 14—15. Let me state my question:
...

**1**

vote

**0**answers

55 views

### Monotonic convergence of Newton's method for boundary value problems

I’m interested in solving nonlinear elliptic boundary value problems of the type
$$
-a\Delta u + f(u) = 0,
$$
$$
u|_\Gamma = u_0
$$
by Newton’s method when its convergence is global and monotonic.
...

**0**

votes

**1**answer

148 views

### Square Integrable Harmonic Functions in an Infinite Strip

Suppose $S= \left\{x \in \mathbb{R}^3 : a <x_1< b \right\} $ is an infinite strip the three dimensional Euclidean Space.
Is it true that the only $L^2$ harmonic function in this strip is the ...

**0**

votes

**2**answers

190 views

### Operator on a Sobolev space [closed]

I'm studying Sobolev spaces using Evans' PDE book.
I can't figure out this simple fact.
Let $L$ be an operator in this form:
$$Lu= \sum{D_i(a_{ij}D_j(u))+\sum{b_iD_i(u)+cu}}.$$
I can't understand why ...

**0**

votes

**1**answer

135 views

### How to modify a $H^1$ weak convergence sequence so that I have the $L^2$ equi-integrability of gradient?

Assume $u_n\to u$ weakly in $H^1(\Omega)$ where $\Omega\subset \mathbb R^N$ is open bounded Lipschitz boundary.
My goal is to find a new sequence $\bar u_n$ and a new function $\bar u$ such that
$...

**2**

votes

**1**answer

108 views

### solvability of linear elliptic pde on a torus

Consider a linear non-divergent form elliptic PDE on a flat torus $\mathbf{T}^n$, $$a_{ij}\partial_{ij}u+b_i\partial_iu=f$$
where all the coefficients and $f$ are smooth. What is the condition that ...

**1**

vote

**0**answers

96 views

### Regularity result for the elliptic equation with Neumann conditions

I am having troubles to justify well some inequalities related with the classical
theory of elliptic equations. Let us consider the problem
\begin{align*}
-\Delta c & =f,\text{ in }\Omega\\
\...

**1**

vote

**0**answers

97 views

### Limit for eigenvalues of the Dirichlet problem

If $\Omega$ is a bounded domain in $\mathbb{R}^n$, let $\lambda(\Omega)$ be an eigenvalue of the problem
$$-\Delta\,u=\lambda\,u\,\,\mbox{in}\,\,\, \Omega, \, u=0\,\,\,\mbox{on}\,\,\, \partial\Omega.$$...

**1**

vote

**1**answer

194 views

### Norm equivalent to Sobolev norm? [closed]

On the hyperbolic space $\mathbb{H}^n$, it is known that the spectrum of the Laplacian satisfies $\text{Spec}(-\Delta) \subset [\frac{(n - 1)^2}{4}, \infty)$. Consider the operator $P = -\Delta + a$, ...

**4**

votes

**1**answer

105 views

### An inequality for eigenvalues of the Dirichlet problem

Is either of these inequalities true?
$$\lambda(tA + (1-t)B)\geq t\lambda(A) + (1-t)\lambda(B)$$
or
$$\lambda(tA + (1-t)B)\leq t\lambda(A) + (1-t)\lambda(B),$$
where $0\leq t \leq 1$, $A,B$ are ...

**7**

votes

**1**answer

404 views

### Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...

**2**

votes

**0**answers

51 views

### Uniformly continuity over Nemytskii functional in $D^{1,2}(\mathbb{R}^N)$

recently i am working in the following question:
Let $F(x,t)$ a Caratheodory function (i.e. $t \mapsto F(x,t)$ is continuous for all $x$ and $x \mapsto F(x,t)$ is Lebesgue mensurable for all $t$ ) ...

**4**

votes

**1**answer

228 views

### Gradient estimate for elliptic equation

Given:
1)a bounded domain $\Omega$ in $\mathbb R^n$ of class $\mathcal{C}^{\infty}$
2) the function $f\in L^{\infty}(\Omega)$ with $\int_{\Omega} f=0$
3)$g=(g_i,\ldots,g_n)\in \mathcal{C}^\alpha(\...

**1**

vote

**0**answers

145 views

### Gilbarg-Trudinger's book Theorem 4.13

I am reading Gilbarg-Trudinger's book "Elliptic Partial Differential Equations of Second Order". I do not understand the proof of Theorem 4.13.
Theorem 4.13 is a special case of Kellogg's theorem in ...

**3**

votes

**0**answers

109 views

### Regularity in PDE theory

I stumbled over this question in the context of PDE theory and thought that maybe somebody here knows whether the following is true or not?
Let $U$ be connected,open and bounded in $\mathbb{R}^n$ ...

**1**

vote

**0**answers

96 views

### Asymptotics of “heat” semigroup

Consider a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary. Consider a second order elliptic operator $L$ on $L^2(\Omega)$, defined by either the Dirichlet or Neumann boundary ...

**1**

vote

**2**answers

186 views

### Principal bundles and Subriemannian Geometry

In sub-Riemannian geometry, one considers manifolds $P$ equipped with a subbundle $\mathcal{H}$ of $TP$, the horizontal distribution. One then has a Riemannian metric only on this distribution $\...

**3**

votes

**1**answer

174 views

### On fundamental solutions to Poisson equation on 3-dimensional manifolds

I am interesting in solutions to Poisson equation
$$\triangle \varphi = 4 \pi \rho \qquad (1)$$
defined on 3-dimensional oriented Riemannian manifold $(M,g)$,
where $g$ is metric and $\...

**4**

votes

**1**answer

440 views

### Existence and uniqueness of solutions for a nonlinear elliptic PDE

The following nonlinear elliptic PDE arose in my research:
$$\Delta f - e^f \partial_s f = E(s,t)\,,$$
where $f : \mathbb R(s) \times \mathbb R/\mathbb Z(t) \to \mathbb R$, $f = f(s,t)$, is the ...

**1**

vote

**0**answers

38 views

### Eigenvalue overdetermined problem

Consider the following overdetermined eigenvalue problem for $\Omega \subset \Bbb{R}^2$:
$$(1) \ \ \ \ \begin{cases} - \Delta u = \lambda u & \text{ in }\Omega \\
u = 0 ...

**2**

votes

**1**answer

341 views

### Elliptic regularity Schauder estimates with Dirichlet/Neumann boundary conditions

Consider the linear elliptic equation $Lu = 0$, where $L$ is a second degree elliptic operator with smooth coefficients on a bounded domain $\overline{\Omega} \subset \mathbb{R}^n$, where $\Omega$ is ...

**3**

votes

**1**answer

321 views

### Moser estimates?

Consider $u$, an $L^2$ solution to the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on a ball $B_1$ of radius 1 centered at $(t_0, x_0)$, say, where $t$ can be treated as a "time" variable. I ...

**1**

vote

**0**answers

124 views

### $L^2$ bound on solution of PDE in terms of $L^2$ norm of initial value

Let $u \in H^1((0,T)\times S)$ be the unique solution of
$$u_{tt} + \Delta u =0$$
$$u|_{t=0}= u_0$$
$$u|_{t=T}=0$$
where $u_0 \in H^{\frac 12}(S)$ and $S$ is some Euclidean hypersurface without ...

**2**

votes

**0**answers

116 views

### About a classic result from Han and Lin's PDE book

Let $A=a_{ij}$ be an $n \times n $ a symmetric matrix where the coeficients are in $L^{\infty}(B_r(0))$ and satisfies
$$ \lambda |\xi|^2 \leq a_{ij}(x)\xi_i\xi_j \leq \alpha |\xi|^2, \ x \in B_r(0),...

**2**

votes

**1**answer

252 views

### Does this linear elliptic equation have a weak solution?

Let $Q = \Omega \times (0,C)$ where $\Omega$ is a bounded domain, write $(x,y) \in Q$ for $x \in \Omega$ and $y \in (0,C)$. Is the problem
$$\Delta_{(x,y)}v = 0\quad\text{in $Q$}$$
$$\frac{\partial v(...

**3**

votes

**1**answer

113 views

### Laplacian on non-compact domains

I consider non-compact domains $\Omega$ with cylindrical ends. For example, $\Omega$ has a cover $\Omega_0 \cup (0,\infty) \times M$, where $\Omega_0$ has finite measure and $M$ is a compact manifold.
...

**0**

votes

**1**answer

129 views

### Nontrivial solutions of a semilinear elliptic equation

What is known, for $N\geq3$, about the existence of nontrivial real-valued solutions $u=u(x)$ of the following semilinear elliptic equation:
$$
\left\{ \enspace
\begin{aligned}
&\Delta u = f(u) &...

**2**

votes

**2**answers

193 views

### “C^0 estimate for solutions to $\Delta(u)+e^{-u} \geq 0$”

Let $u: \mathbb{R}^2 \to \mathbb{R}.$ Suppose I have a solution to the equation
$$\Delta(u)+e^{-u} \geq 0$$ on $\mathbb{R}^2$. Let r be the radial coordinate on $\mathbb{R}^2$. Suppose that $$lim_{r \...

**2**

votes

**0**answers

56 views

### Localized eigenfunctions of drift Laplacians

I am looking for literature which discusses localization of eigenfunctions of drift Laplacians, i.e. $L\underline u=-\Delta \underline u+\underline{v}.\nabla \underline u$ in 2D/3D domains with ...

**1**

vote

**0**answers

140 views

### maximum principle on compact manifolds with boundary

Let us consider the equation $Lu + f(u) = 0$ on a compact manifold $\overline{M} = M \cup \partial M$ with boundary, with Dirichlet boundary conditions. $L$ is a linear elliptic operator, and $f$ ...

**-1**

votes

**1**answer

164 views

### Analysis of Sobolev spaces [closed]

I just wanted to know wthether the following is OK or not.
Let $X$ be $H_0^1(\Omega)\bigcap L^{\infty}(\Omega)$, thought of as a subspace of $H^1_0(\Omega)$ and endowed solely with the usual $H^1$ ...

**2**

votes

**0**answers

177 views

### Sobolev space for manifold with boundary

For an compact manifold $M$ without boundary, we consider the eigenfunctions $(f_1,f_2,\ldots)$ of some elliptic operator (e.g $\Delta$) with eigenvalue $\lambda_{1},\lambda_{2},\ldots$. To define ...

**0**

votes

**0**answers

132 views

### Schauder estimate on a bounded domain

We know if $u:\mathbb{R}^{n}\to \mathbb{R}$ is a smooth function with compact support, then we can show, via integration by part, that
$$
||\Delta u||=||{\nabla}^2u||
$$
where $||\cdot||$ is the $L^2(\...

**1**

vote

**1**answer

119 views

### Uniqueness affine curvature

Let $\gamma_1,\gamma_2: \mathbb{S}^1 \to \mathbb{R}^2$ be two smooth, closed, convex curves that their (special)affine curvature, $\mu_1,\mu_2$ are equal, that is $\mu_1(\theta)=\mu_2(\theta)$, for ...

**5**

votes

**1**answer

189 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 H^{1/2}(\partial\Omega)=H^1(\Omega)/H^...

**2**

votes

**0**answers

38 views

### Schauder-type estimates for polyharmonic operators in a smooth domain of $R^N$

Let $L$ be an elliptic operator of the form
$$
Lu := (-1)^m \sum_{|\alpha|=2m} a_\alpha(x) D^\alpha u + \sum_{|\alpha|\leq 2m-1} b_\alpha (x) D^\alpha u
$$
with smooth coefficients and $u$ defined ...

**5**

votes

**3**answers

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

**2**

votes

**0**answers

81 views

### probabilistic interpretation of elliptic equation with mixed boundary condition

I would like to understand the probabilistic interpretation of the following elliptic problem with mixed Dirichlet-Neumann boundary conditions:
Let $B := \{ x \in \mathbb{R}^n, \quad \| x \|_2 \leq 1 ...

**1**

vote

**0**answers

86 views

### the most natural approach to solve an elliptic PDE in R^n [closed]

Let $n \geq 1, \lambda >0, f \in L^2(\mathbb{R}^n)$ and $b: \mathbb{R}^n \to \mathbb{R}^n$ a vector field satisfying $\mbox{div}(b) \in L^\infty(\mathbb{R}^n)$. What would be the most natural ...

**0**

votes

**1**answer

42 views

### Oblique derivative smoothness of harmonic functions

Let $Q$ be a domain in the half-space $\mathbb R^n\cap\{x_n>0\}$ and part of its boundary
is a domain $S$ on the hyperplane $x_n=0$. Let $u\in C(\bar Q)\cap C^2( Q)$ satisfy $\Delta u=0$ in $Q$ and ...

**1**

vote

**0**answers

120 views

### Method of proving the regularity of the minimizer of geometric variational problems

Recall the proof of the $(\Lambda,r_0)$-perimeter minimizer.
We say that $E$ is a $(\Lambda,r_0)$-perimeter minimizer in an open set A provided $sptD\chi_E=\partial E$ and there exist two constants $...

**7**

votes

**1**answer

211 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 http://en....

**2**

votes

**1**answer

109 views

### Space of p-harmonic functions

Let $\Omega \subset\mathbb{R}^d$, $d \geq 2$, be a sufficiently nice set to make the following question meaningful.
I am interested in the space of p-harmonic functions on $\Omega$; that is, the ...

**2**

votes

**0**answers

109 views

### The level set of convolution

Suppose $u\in C^2(\bar \Omega)\cap C^\infty(\Omega)$ is a function which is compact supported on $\Omega$ with $u\equiv 0$ at $\partial\Omega$, and $\Omega\subset \mathbb R^3$.
We also assume that $\...

**1**

vote

**0**answers

67 views

### Density of restrictions of $p$-harmonic functions on a hypersurface

Let $\omega,\Omega\subset\mathbb R^n$, $n\geq2$, be bounded smooth domains so that $\bar\omega\subset\Omega$.
Let $1<p<\infty$.
Define the boundary space $B=W^{1,p}(\omega)/W^{1,p}_0(\omega)$; ...

**1**

vote

**0**answers

114 views

### Showing existence of positive weak solution of a PDE by CoV

Given the following PDE
$$
\begin{cases}
-\Delta u+\alpha=u^q &x\in\Omega\\
u=0 &x\in\partial\Omega
\end{cases}
$$
where $\Omega\subset\mathbb R^3$ is open bounded with smooth boundary, $1<...

**13**

votes

**2**answers

626 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:
$$
A^{ij}_{ab}\xi_i\xi_jv^av^...

**0**

votes

**0**answers

75 views

### Regularity of solutions of strongly elliptic system: how smooth must the boundary be?

Let $\Omega \subset \mathbb{R}^d$ be a bounded domain with the boundary of class $C^{1,1}$.
Let $A$ be a selfadjoint operator acting in $L^2(\Omega;\mathbb{C}^n)$.
The operator $A$ is given by the ...

**2**

votes

**1**answer

195 views

### Local Biot-Savart law in $B(x_o,r) \subset \mathbb R^2$

Let $u: \mathbb R^2 \to \mathbb R^2$ and let $\omega = \text{curl } u$ be the 2D vorticity of $u$, where $u, \omega \in L^2(\mathbb R^2)$ and $\nabla \cdot u = 0$. The classical Biot-Savart law states ...

**4**

votes

**0**answers

90 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
\end{...