All Questions
97 questions
0
votes
0
answers
36
views
Examples of subharmonic functions
Let $A$ be a constant symmetric matrix with $\lambda < A < \Lambda$ and $0<\lambda < \Lambda$ are fixed constants. Let $u$ be a solution of $\text{div}A \nabla u = 0$. Is it true that $\...
- 455
0
votes
0
answers
18
views
Third order estimate for linear elliptic equations
Let $\lambda < A < \Lambda$ be a constant symmetric matrix and $u$ be a $C^{\infty}$(elliptic regularity gives smooth solutions) solution of $\text{div} A \nabla u = 0$. Let $S_1$ be a sphere ...
- 455
0
votes
0
answers
87
views
Curl-Div equation with singular matrix
I want to solve the equation:
$$
\begin{cases}
\nabla \times (A \mathbf v)=f, \quad x\in \Omega \\
\operatorname{div}(\mathbf v)=0,
\end{cases}
$$
where $\Omega \subset\mathbb{R}^n$, is an open set, $...
- 617
5
votes
0
answers
112
views
Fredholm index of degenerate elliptic PDE
We consider the following degenerate elliptic PDE on the unit ball $B\subset \mathbb{R}^n$:
$$
L(u):= -\operatorname{div}(a \, \nabla u) = 0,
$$
where $a\in C^\infty(B;[0,+\infty))$ satisfies $a(0)=0$...
- 363
9
votes
2
answers
493
views
Reference Request for global Hölder continuity of solutions to elliptic PDEs
This is question that was also posted on MathStackExchange Link, where it was suggested I post this question on MathOverflow. Please note that the answer given in Link does not help as I do not have ...
11
votes
3
answers
3k
views
Fundamental solution of an elliptic PDE in divergence form with non-symmetric matrix
I am looking for the fundamental solution of the following PDE
$$\partial_i (a^{ij}\partial_j u)=f$$
where $a^{ij}(x)$ is a non-symmetric matrix with possibly non-constant coefficients.
I could find a ...
- 6,367
0
votes
0
answers
69
views
Inside and up to boundary regularity improvement of linear differential operator
I'm learning elliptic PDEs and a natural question came to me. Consider a constant coefficient linear differential operator defined on the ball $B_r:=\{\sum_{k=1}^n|x_k|^2<r\}$
$$A=\sum a_\alpha\...
- 421
2
votes
0
answers
238
views
What is the fundamental solution for the backward heat equation?
According to the theorem of Malgrange and Ehrenpreis a fundamental solution exists for any PDE with constant coefficients. But I didn't manage to find in the literature an explicit formula for the ...
- 63.9k
0
votes
0
answers
62
views
Uniqueness problem of constant coefficient differential operator with given boundary information on compact domain
I'm considering the uniqueness problem for a constant coefficient differential operator $A$ on compact domain $\Omega$ with given boundary information such that we have
\begin{equation}\label{...
- 421
1
vote
0
answers
40
views
Is the average of two viscosity sub-solutions to linear elliptic equations is also a sub-solution?
Let $b\in C_b(R;R)$. Consider the following LINEAR equation on $R^2$:
\begin{equation}
u-\partial_{xx}^2 u + (b(x+y)-b(x)) \partial_y u=f\in C^\infty_c(R^2). \tag{1}
\end{equation}
Assume that $...
- 515
0
votes
1
answer
217
views
About the polynomial characterization of $C^{1,\alpha}(\bar{\Omega})$ Hölder space in Lipschitz domain
I have trouble proving the following statement regarding a characterization of $C^{1,\alpha}$:
Let $\Omega$ be a Lipschitz domain. $u$ is pointwise $C^{1,\alpha}$ at all points with the same constant $...
- 111
7
votes
2
answers
567
views
Intuition for Agmon-Douglis-Nirenberg ellipticity
First of all, I am sorry if this is a too basic question, but I stumbled over this notion of ellipticity only very recently.
I am trying to understand the definition of ellipticity of systems due to ...
- 21.5k
0
votes
0
answers
111
views
Reversing heat transfer with respect to time
Fact: One can easily compute heat dispersion in a plane using the heat equation.
Question: Has any research been done on computing the process in the reverse time direction?
That is, given a heat map $...
- 119
3
votes
0
answers
65
views
Convex combination of cyclically monotone sets
I want to show the following statement, but I am not sure how.
Proposition(?):
Let $C \in \mathbb{R}^d$ be a compact convex set, and let $u, v : C \to \mathbb{R}$ be smooth convex functions.
Suppose
$$...
- 51
1
vote
0
answers
131
views
Regularity of elliptic equation with Neumann boundary conditions
In the context of the regularity of the free boundary of the one-phase (a.k.a. Bernoulli) problem we want to show $C^{1,\alpha}$ regularity of the free boundary implies smoothness of the free boundary ...
- 11
3
votes
1
answer
195
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,446
5
votes
1
answer
238
views
$L^2$ regularity theory for elliptic equations: Is there another method other that the difference quotient method? Reference request
So i'm interested in the following classical theorem or similar variants.
Consider the following elliptic PDE
$$
-D_\alpha(a^{ij}D_\beta u) = f.
$$
If we assume that the coefficients $a^{ij}$ are ...
- 2,494
2
votes
1
answer
391
views
Estimates for linear elliptic PDE in the whole of $\mathbb{R}^n$
I am struggling to track down any literature on the topic of elliptic regularity when the domain in question is the whole space $\mathbb{R}^n$. Consider the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^n)$,...
- 2,155
3
votes
0
answers
62
views
Geometric properties of the unique solution of an elliptic BVP involving the Lie derivative of the metric by a vector field
Setting
Let $(M,g)$ be a compact Riemannian manifold with smooth boundary, and let $\nabla$ be its associated Levi-Civita connection. Consider the following formally self-adjoint, second order linear ...
- 808
1
vote
0
answers
43
views
Mixed boundary condition of parabolic equations
Let $ \Omega $ be a bounded and smooth domain in $ \mathbb{R}^n $. Assume that
$$
\partial\Omega=\partial\Omega_D\cup\partial\Omega_N,
$$
where $ \partial\Omega_D $ and $ \partial\Omega_N $ are ...
- 1,219
4
votes
1
answer
168
views
Continuous up to the boundary without boundary smoothness
Let $\Omega$ be a bounded domain, $f\in L^{\infty}(\Omega),$ and $0\leq u\in H_0^1(\Omega)$ is a non-negative solution of $\Delta u=f$. My question is as follows:
Can we conclude that $u\in C^0(\bar{\...
- 684
2
votes
0
answers
183
views
Regularity of elliptic partial differential equation with mixed Dirichlet-Robin boundary condition, to prove $u\in H^{2}(\Omega)$
I have posted this problem on Math Stackexchange but got no reply.
When I deal with the wave equation with dynamical boundary condition, I am confused by the regularity of the following elliptic ...
- 63.9k
4
votes
0
answers
111
views
Continuity of solutions of Elliptic PDE with respect to parameters
Let $\alpha \in \mathbb{R}$ and $u_\alpha$ satisfy
$$ \Delta u_\alpha+e^{u_\alpha}=\alpha f(x), \ \ \ \ x\in \mathbb{R}^2$$
where $f$ is a fast decaying smooth function.
I would like to know how the ...
3
votes
0
answers
103
views
Comparison principle for Elliptic PDE with exponential nonlinearity
Suppose $\varphi$ is a radial (and radially decreasing) solution of
$$\Delta \varphi+e^{\varphi}=0, \ \ \text{on} \ \ r \in (0,R), $$
with $ R>0$, and $\psi$ is a decreasing radial function ...
2
votes
0
answers
114
views
A maximum principle in $\mathbb{R}^N$
Let $\delta > 0$ and define
$$
H_\delta(x) = \prod_{j=1}^{N} \cosh(\delta x_j), \quad \forall x \in \mathbb{R}^N.
$$
By straightforward calculations we get $\Delta H_{\delta} (x) = \delta^2 H_\...
- 167
4
votes
0
answers
310
views
Pohozaev identity for linear equations
For $-\Delta u =0$, the Pohozaev identity on say $B_1$ says
$$ \int_{S_1} |u_T|^2 \,d\sigma = \int_{S_1} |u_N|^2 \,d\sigma + (n-2) \int_{B_1} |\nabla u|^2 \ dx$$
Here $u_T$ are the tangential ...
- 455
3
votes
1
answer
246
views
Schauder estimates with boundary conditions
For the elliptic equation with non-divergence form
$$
\sum_{i,j=1}^na_{ij}(x)\partial_{ij}^2u=f\text{ in }B(0,1)\quad\text{and}\quad u=g\text{ on }\partial B(0,1),
$$
where $ \{a_{ij}(x)\} $ is a ...
- 6,035
3
votes
0
answers
110
views
On the relation between ellipticity and Fredholmness as properties of linear PDE's on Fréchet spaces of smooth sections
Let $M$ be a compact manifold equipped with finite rank vector bundles $E$ and $F$ with spaces of $C^{\infty}$ sections denoted $\Gamma(E)$ and $\Gamma(F)$ respectively. It is standard that a ...
2
votes
1
answer
129
views
Spectral analysis for nonlocal elliptic operator
Suppose $\Omega\subset\mathbb{R}^3$ is a bounded domain with smooth boundary. We note by $(-\Delta)^{-1}$ the inverse Laplacian i.e. $f\mapsto u$ where $u$ is the unique solution to
$$-\Delta u=f,\...
- 2,494
1
vote
0
answers
120
views
Liouville theorem for an elliptic equation with gradient perturbation
How can I prove the following Liouville theorem for an elliptic equation with gradient perturbation?
Let $u \in L^2(\mathbb R^n;\mathbb R)$ be a smooth solution of
$$ -\Delta u + v \cdot \nabla u = 0 ...
- 217
1
vote
0
answers
47
views
Can we find a uniform bound of the solution of a series of linear partial differential equations related to a parameter
Let $\sigma \in[0,1]$,we consider following series of linear partial differential equations related to the parameter $\sigma$,for example
$$
\left\{\begin{aligned}
\Delta \Phi &=\sigma f(x, y) \...
- 809
2
votes
0
answers
113
views
Solve a coupled PDE in a rectangle
We consider a coupled PDE in a rectangle $\Omega=(-1,1)\times(-1,1)$. For the simplicity, we assume that the functions are periodic in $x_{1}$ direction.
\begin{cases}
\nabla\cdot u=f_{1},\ & \...
- 151
1
vote
0
answers
126
views
Reference for global theory of Schrödinger operators
Question. What is a good reference to learn about the spectral properties of Schrödinger operators in $\mathbf{R}^n$? I am specifically interested in references that discuss examples where the ...
- 5,048
2
votes
2
answers
132
views
Density of traces of solutions to an elliptic equation
Let $D_1$ be a domain with smooth boundary and assume that $D_1$ is a proper subset of $D_2$ which is itself a bounded domain in $\mathbb R^n$ with a smooth boundary. Assume also that $D_2\setminus ...
- 684
1
vote
2
answers
723
views
Schauder regularity heat equation
Let $m \in \mathbb{N}\setminus \{0,1\}$, $\alpha \in ]0,1[$.
Let $\Omega$ be a bounded open subset of $\mathbb{R}^n$ of class $C^{m,\alpha}$.
It is known that if $f \in C^{\frac{m-2+\alpha}{2},m-2+\...
- 36
5
votes
0
answers
201
views
Where to locate $0\in \Omega$ to get $u_{\varepsilon}(0)\neq 0$ where $\Delta u_{\varepsilon} + (\lambda-\varepsilon) u_{\varepsilon} = \frac{1}{|x|}$
Let $\Omega \subset \mathbb{R}^3$ a smooth bounded domain with $0\in \Omega$ and $u_\varepsilon(x)$ the solution to
$$
\Delta u_\varepsilon + (\lambda-\varepsilon) u_\varepsilon = \frac{1}{|x|}\quad \...
- 2,494
2
votes
1
answer
272
views
Even and odd solutions for the Schrödinger equation
We consider $2a$ - periodic smooth solutions for
\begin{eqnarray*}
-\Delta u+V(x)\,u=0\qquad\hbox{in}\:[-a,a]
\end{eqnarray*}
We assume that $V$ is smooth and even (i.e. $V(-x)=V(x)$). We also assume ...
- 6,696
0
votes
1
answer
98
views
Reference request: Is if possible to estimate the local behaviour of the solution of $\nabla \cdot a(x) \nabla f=g$ via constant coefficients?
Consider the divergence form uniformly elliptic operator $\nabla \cdot a(x) \nabla$
where the coefficient $a$ are smooth and bounded and $D$ is a bounded
and smooth domain of $\mathbb R^d$
$$
\begin{...
- 2,494
3
votes
1
answer
333
views
References for Green functions of $\nabla \cdot a \nabla$ on a domain with $a \in L^\infty$
I am looking for a reference for basic properties of the Green function for a symmetric, uniformly elliptic operator $\nabla \cdot a \nabla$ where the coefficients $a_{ij}= a_{ji}$ are only assumed to ...
- 381
1
vote
0
answers
70
views
Solutions of constant coefficients differential operator on $\mathbb{R}^n$
Let $D$ be a constant coefficients linear differential operator on complex valued functions on $\mathbb{R}^n$. Let $\tilde D=\mathbb{F}^{-1}\circ D\circ \mathbb{F}$ be its conjugation with the Fourier ...
- 21.8k
0
votes
1
answer
326
views
Analytical testcase for 2D/3D anisotropic Diffusion (Heat Kernel)
I want to verify and compare different Discretizations of the anisotropic diffusion equation in 2D / 3D image of my testsetting.
I want to verify and compare different Discretizations of the ...
- 123
3
votes
1
answer
136
views
Maximum principle for an elliptic like operator
I am trying to prove some monotonicity of a solution of a given pde; after considering a quantity like $ \phi(x) = x \cdot \nabla v(x)$ ($v$ is the solution of a given pde) I arrive at something ...
- 17.2k
1
vote
2
answers
598
views
Difference between semilinear and fully nonlinear
I'm confused why the Hamilton Jacobi Bellman equation:
$$\frac{\partial u}{\partial t}(t,x)+\Delta u(t,x) -\lambda||\nabla u(t,x) ||^{2}=0$$
is considered fully nonlinear, but not semilinear.
By ...
- 9,007
2
votes
0
answers
206
views
Laplacian on a manifold with two boundary components
I am interested in the Laplace equation on knot complements. The full complement of a knot $K$ is in $S^3$, but for compactness, we delete an open tubular neighborhood around $K$. The Laplace PDE on $...
- 63.9k
3
votes
1
answer
486
views
Ancient Heat equation and Liouville's theorem
I encounter a difficulty when proving the bounded solution of ancient heat equation implying constant function. Suppose $u(t,x)$ is the solution of ancient heat equation:
\begin{equation}
u_{t} = \...
- 2,715
2
votes
0
answers
169
views
A basic question about the Spectral Theorem
Let $\Omega$ be a bounded open region in $\mathbb{R}^n$ and $\phi_i $ be the eigenfunctions of $-\Delta$ with Dirichlet boundary condition, i.e.
$$-\Delta \phi_i=\lambda_i \phi_i, \ \ \phi_i|_{\...
- 434
5
votes
2
answers
325
views
$W^{k,1}$ regularity for elliptic equations
Let $\Omega$ be a bounded region in $\mathbb{R}^n$ and assume $u$ is a solutions of $\nabla \cdot (a \nabla u)=f$ with $a>c>0$ in $\Omega$, where $a\in C^k(\bar{\Omega})$. Is the following ...
- 2,155
5
votes
3
answers
454
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,821
3
votes
1
answer
205
views
Eigenfunctions of elliptic equations
Let $\Omega$ be a bounded region in $\mathbb{R}^n$ and $a_1, a_2$ be smooth positive functions such that $a_1-a_2$ is compactly supported in $\Omega$, and $a_i>c>0$, for some constant $c$. ...
- 4,899
0
votes
0
answers
148
views
Singular elliptic PDE: $-h\,\Delta u +\langle \nabla h,\nabla u\rangle =h$
Let $U\subset\mathbb{R}^n$ with $0\in U$. Fix $h\in L^2(U)\cap C^\infty(U)$ with $h(0)=0$. Is there some $C^1$-function $u\neq 0$ in such that $u$ is solution of
$$-h\,\Delta u +\langle \nabla h,\...
- 245