All Questions
97 questions
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|_{\...
2
votes
0
answers
74
views
Bessel decay for nonhomogeneous PDE
I'm interested in the following nonhomogeneous PDE
$$ (\Delta-k^{2})u=-g $$
on the upper-half plane with smooth and integrable Dirichlet boundary condition, where $g$ is a smooth positive function ...
2
votes
1
answer
127
views
Positive form for a homogeneous elliptic pde
I have a pde of the following form:
\begin{align}
&P(x,D)u = f \text{ on } \Omega, \\
&P(x,D) = \sum\limits_{|\alpha|=2m}a_\alpha(x)D^{\alpha},
\end{align}
where one can assume that $f$ ...
2
votes
0
answers
106
views
Regularity of Poisson problem with rough coefficients and mixed boundary conditions
Let $d \in \mathbb N$ and $\Omega \subseteq \mathbb{R}^d$ be open, bounded and connected. Let the boundary $\partial \Omega$ be piecewise Lipschitz and partitioned into a Neumann part $\partial \...
2
votes
0
answers
173
views
Singularity of the solution of a PDE whose coefficients have zeros
The following PDE arises in a problem of finding the stationary measure of a 2d system of stochastic differential equations (see this math.stackexchange post):
$$\mathcal{A}p=0, \quad p\in C^2(\...
2
votes
0
answers
683
views
Laplace problem with Robin boundary condition on a wedge
I'm trying to understand what the essential differences between Dirichlet/Neumann and Robin boundary conditions are. Therefore, let $\omega \in \left(0, 2\pi\right)$ and let
\begin{equation*}
\Omega = ...
2
votes
0
answers
102
views
Elliptic equation with Laplace-Beltrami boundary condition
For my research, I've come across the following type of equation (under variational form).
Assume $\Omega\subset\mathbb{R}^d$ is a Lipschitz domain, $\phi \in L^2(\partial \Omega)$ and $\nabla_{\...
2
votes
0
answers
178
views
are these norms equivalent?
If it is known that $\sum_{i,j=1}^{n}a_{ij}\xi_i\xi_j\geq \alpha^2|\xi|^2$, where $\xi=(\xi_1,\xi_2,...,\xi_n)\in\mathbb{R}^n$ then can it be said that $\sum_{i,j=1}^{n}a_{ij}\frac{\partial u}{\...
2
votes
0
answers
114
views
biharmonic equation with L^1 data and Navier Condition
I am reading an article that, a section of it is mentioned below . I have some question about this section. I will ask my question after the section below. I am thanksed if some one could help me , ...
1
vote
2
answers
899
views
Solving the Poisson equation using a random walk on $\mathbb Z ^d$
How do I solve the Poisson equation with the help of a discrete random walk on $\mathbb Z ^d$?
1
vote
2
answers
106
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 ...
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 ...
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+\...
1
vote
1
answer
234
views
Existence of unique critical points to second order elliptic PDEs
Let $\Omega\subset\mathbb{R}^2$ is bounded and convex and $\partial\Omega$ be smooth. Consider the second order elliptic PDE (1)
$$
\begin{cases}
Lu = f &\text{ on } \Omega\,,\\ u=0 &\text{ ...
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 $...
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 ...
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
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 ...
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) \...
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 ...
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 ...
1
vote
0
answers
71
views
An existence result for solutions of elliptic equations with a mixed boundary problem
Assume that $\Omega$ is a bounded domain such that
$\partial\Omega=\Gamma_1\cup \Gamma_2$, where $\Gamma_1$ and $\Gamma_2$ are disjoint and closed. Let us consider the following elliptic equations.
...
1
vote
0
answers
81
views
About the "method of lines": when are such solutions good approximations for **all** future time?
This question is about approximate solutions to some classes of PDEs obtained using the "method of lines".
For example, for an initial-value problem given by a PDE on a circle, one can choose $n$ ...
1
vote
0
answers
84
views
Potential theory solution for Variable coefficient Poisson with Dirichlet Boundary conditions
I am looking for a potential theory representation for the following equation in $2$D:
$$\vec{\nabla} \cdot \left(a(x) \vec{\nabla}u\right) = 0 \,\, \forall x \in \Omega \,\, (\spadesuit)$$
$$u = g \,...
1
vote
0
answers
37
views
Regularity of a flux induced by a potential
Take
$\Omega\subset R^n$ with smooth boundary (take a ball for example)
a function $f\in L^{\infty}(\Omega)$ with support strictly contained in $\Omega$ and with $\int _{\Omega} f \; dx=0$
a scalar ...
1
vote
0
answers
414
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 ...
1
vote
0
answers
171
views
Existence of solution?
I am sorry if this question is not at the MO level. But I have not found a reference so I would like ask it here.
Follow this paper :http://www.math.ku.dk/~hugger/articles/CTAC2003.pdf
Let $\mathcal{...
1
vote
0
answers
99
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 ...
0
votes
1
answer
152
views
Solution of Poisson equation vanishing at the boundary of any order
Let $f$ be a compactly supported function in $\Omega \subset \mathbb{R}^3$ and
$\Delta u=f$ in $\Omega$
such that $D^{\alpha}u=0$ on $\partial \Omega$ for every multi-index $\alpha$ with $|\alpha| \...
0
votes
1
answer
497
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 ...
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 $...
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{...
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 ...
0
votes
1
answer
204
views
How do I show continuity of the mixed and weak solution to Zaremba problem?
I am interested in showing continuity/boundedness of the weak solution to the following problem pde:
\begin{align*}
0 &= \mathbf{q} + \mathbf{\nabla}u && \quad x\in \Omega,\\
0 &= \...
0
votes
1
answer
104
views
Poisson Equation across a Hypersurface [closed]
Let $\mathbb{B}(0,1) \subset \mathbb{R}^3$ denote the unit ball. Let $\Gamma = \{x_3=0\}$. Let us assume $f \in L^2(B)$ .Consider the problem
$ \triangle u = f $ in $\mathbb{B}$ in the weak sense such ...
0
votes
1
answer
247
views
Gradient bounds on Newtonian potentials
Suppose $N \ge 3$ and let $\Phi(x):= C_N |x|^{2-N}$ is the fundamental solution. Let $\Omega$ denote a bounded domain in $ R^N$.
Consider $ -\Delta u(x) = f(x) $ in $\Omega$ with $u=0$ on $ \...
0
votes
0
answers
35
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 $\...
0
votes
0
answers
17
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 ...
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, $...
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\...
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{...
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 $...
0
votes
0
answers
117
views
Harnack Inequality for uniformly elliptic PDE via constructing a singularity
I am trying to prove a Harnack inequality for a nonnegative subsolution $u \in H^1(B_2)$ to the PDE $\text{div}(A Du) \ge 0$, where $A = A(x)$ is uniformly elliptic. The proof outline I am following ...
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,\...
0
votes
1
answer
390
views
Harmonic/Subharmonic lifting of functions on an annulus
Suppose $\Omega_1, \Omega_2 \subset R^2$ are bounded open regions with $\Omega_1 \Subset \Omega_2$. Let $f_1\in C(\partial \Omega_1)$ and $f_2\in C(\partial \Omega_2)$. Is there a function $h\in H^1(\...
0
votes
0
answers
176
views
For a solution of an elliptic equation, if it is 0 on an open subset, then is it 0 identically?
Let $X$ be a compact smooth manifold, $E, F$ be smooth complex vector bundles over $X$, $L$ an elliptic operator between smooth sections of $E$ and of $F$. Suppose $s$ is a section of $E$ such that $...
0
votes
0
answers
112
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 \...