All Questions
53 questions
4
votes
2
answers
283
views
Regularity of solution of $(-\Delta + w)f = 0$
I am studying the following Schrödinger equation:
$$(-\Delta + w)f = 0$$
which represents a quantum state with zero energy. Here $w$ and $f$ are defined on $\mathbb{R}^{3}$. For simplicity, let us ...
- 1,305
4
votes
2
answers
781
views
Is there any bilinear Poincaré/Sobolev inequality?
Is the following, I call it bilinear Poincaré inequality, true?
Let $\Omega$ be an open bounded set in $\mathbf R^n\DeclareMathOperator{\dL}{d\!}$. There exists $C > 0$ such that for any $u, v \in ...
- 185
5
votes
0
answers
417
views
All $L^pL^q$ estimates for the heat equation on $\mathbb R$ (with gain of derivatives)
I have asked this question on MSE, but this is a better place.
The heat equation and the heat kernel.
Consider the heat equation on $\mathbb R$:
$$ \left\{\begin{aligned}u_t-\Delta u&=f\\u(0,x)&...
- 1,075
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
2
votes
0
answers
159
views
On Fredholm alternative for Neumann conditions
Let $\Omega$ be a bounded Lipschitz domain in $\mathbb{R}^n$ and $f \in L^2(\Omega)$. It is well known that if $\lambda$ is a Dirichlet Laplacian eigenvalue, then the equation $$\begin{cases}
-\Delta ...
- 1,350
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 ...
0
votes
1
answer
130
views
Riesz transform after linear transformation
I am encountering the term $\partial_x \mathcal{R}_x(f(x,y))$. I needed to do the following linear transformation
$$x' = a x+ by,\,\,\,\,\, y'=ax-by,\,\,\, and \,\,f(x,y)=g(x',y') $$
I ended up with ...
- 159
4
votes
1
answer
225
views
Asymptotics of integral representation of distribution
I initially posted this question at MSE (here), but I have gotten no response, so I figured I would ask it to this community.
Background: I am studying the PDE $$\,\,\,\,\,\,\,\,\,\,\,\,i\partial_t \...
- 850
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,\...
- 287
2
votes
0
answers
60
views
Decay of solution for linear system with damping
Let us consider the following linear system with damping:
$$
\begin{cases}
u_t - u_x = -\frac{1}{2} (u+v)\\
v_t + v_x = -\frac{1}{2} (u+v)
\end{cases}
$$
Let's write the solution as $w=(u,v)$ ...
- 839
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 ...
- 4,145
3
votes
1
answer
216
views
Linear transport equation with Lipschitz conditions
Given the equation here, I would like to ask the following relaxed question:
Consider the PDE
$$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$
with Schwartz initial data $f(0,x) = ...
- 124
5
votes
2
answers
358
views
Linear transport equation with unbounded coefficients
Consider the PDE
$$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$
with Schwartz initial data $f(0,x) = f_0(x) \in \mathscr S(\mathbb R^n).$
I am wondering then if $q$ and all its ...
- 124
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{...
- 446
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 ...
- 446
2
votes
0
answers
162
views
Explicit computation of a norm in context of operator-semigroups and differential equations
I am interested in the explicit calculation of the following norm $\vert \cdot \vert$.
Let $X$ a Banach space with norm $\Vert \cdot \Vert$ and $(T(t))_{t \geq 0}$ a strongly continuous one-parameter ...
- 185
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
11
votes
1
answer
1k
views
Research topics in microlocal analysis
Before asking this question here I did some research on web but I would like to get the opinion of those directly interested if there are any , (as I did in this thread Research topics in distribution ...
- 589
2
votes
1
answer
150
views
Two PDE for one unknown?
Let $x \in (0,L)$, $t \in (0,T)$, and let $f_1 = f_1(x,t) \in \mathbb{R}$, $f_2 = f_2(x,t) \in \mathbb{R}$, $u^0 = u^0(x) \in \mathbb{R}$ and $g= g(t) \in \mathbb{R}$ be continuous functions.
My ...
- 115
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 ...
- 1
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 ...
- 4,145
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 = ...
3
votes
2
answers
1k
views
Orthogonality to harmonic functions
Let $a_0$ and $b_0$ be smooth compactly supported functions in $B \subset R^3$, $f\in C^1(\Omega)$, and define
$a_n=f\Delta^{-1}(a_{n-1})=-f(x)\int_{B}a_{n-1}(y)\Phi(x-y)dy$, $n\geq 1$
$b_n=f\Delta^{...
1
vote
1
answer
350
views
Functions orthogonal to harmonic functions
Let $\Omega$ be a bounded domain in $\mathbb{R}^3$ and $f_1,f_2 \in C^2(\bar{\Omega})$. Suppose
$\int_{\Omega}(f_2-f_1)\varphi \, dx=0$ and $\int_{\Omega}(f_2 \Delta^{-1} f_2- f_1 \Delta^{-1} f_1)\...
3
votes
0
answers
125
views
Partial regularity for transmission problem in corner domains
Let $n=2$ or $3$ and $\Omega \subset \mathbb{R}^n$ be an open bounded domain. Let suppose that $\Omega$ is divided in two subdomains $\Omega_1$ and $\Omega_2$ and we define $\Gamma = \partial \Omega_1 ...
- 143
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| \...
4
votes
1
answer
336
views
Fundamental gap for Schrödinger operator
Consider $ \Omega$ a smooth bounded domain in $ \mathbb R^N$.
I am interested in the gap between the first and second eigenvalues of the operator $ -\Delta + V(x)$. Let $ \phi_1>0$ and $ \phi_2$ ...
- 1,385
4
votes
0
answers
89
views
How can I can derive an explicit bound for the solution of the poisson's PDE?
i need some help on this question
Let $\Omega$ be an open subset of $\mathbb{R}^{2}$ (say a square) with
$\partial{\Omega} =\Gamma_{1} \cup \Gamma_{2} \cup\Gamma_{3} \cup\Gamma_{4}$. A structure ...
- 41
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}{\...
- 157
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 $ \...
- 1,385
1
vote
0
answers
788
views
$C^{1,2}$ regularity of (weak) solutions to the heat equation
Let $\Omega$ be a bounded Lipschitz domain (smoother if needed), and consider the heat equation
$$u_t - \Delta u = 0$$
$$\frac{\partial u(t,x)}{\partial \nu(x)} = a(t,x) - b(t,x)u(t,x)$$
$$u(0) = u_0$$...
5
votes
1
answer
1k
views
$L^\infty$ estimate on heat equation with a lower order term
Let $u$ be the weak solution on a smooth bounded domain $\Omega \subset \mathbb{R}^n$ (for $n \leq 3$) of
$$u_t - \Delta u = f$$
$$u(0) = u_0$$
$$\partial_\nu u = 0 \quad\text{on $\partial\Omega$}$$
...
- 53
2
votes
0
answers
110
views
Biharmonic Equation in a Rectangle with Some Uncommon Boundary Conditions
I asked this question on Mathematics network but it didn't receive any answers. So I assume it is just beyond the classic things in PDEs and I decided to ask it here too.
Consider the following ...
- 271
11
votes
2
answers
712
views
Poincaré lemma for distributions
Let us consider a current on $\mathbb R^n$, that is a differential form whose coefficients are distributions. For simplicity, let us check the case of a $1$-form
$$
u=\sum_{1\le j\le n} u_j dx_j,\quad ...
- 16.2k
4
votes
1
answer
180
views
Elliptic regularity for two dimensional domains
Suppose $ \Omega$ is a smooth bounded domain in $ R^2$. I am interested in the regularity of solutions to
$$-\Delta u(x) = f(x) \mbox{ in } \Omega$$ with $ u=0$ on $ \partial \Omega$.
If $ f \in ...
- 1,385
1
vote
0
answers
95
views
Construct a PDE solution from a net of approximations
Consider $P$ a linear partial differential operator in $\Bbb R ^n$. Consider some boundary condition given in the generic form $C(u) = 0$, that guarantees a unique solution (if any) of $Pu = 0$.
Let $...
- 5,407
2
votes
2
answers
732
views
Existence and uniqueness for two-dimensional time-dependent Schrödinger equation
I currently have to deal with time-dependent Schrödinger equations in two variables on bounded domains and wanted to find out about uniqueness and existence of solutions.
Unfortunately, I am a ...
- 181
8
votes
1
answer
501
views
Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?
Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...
0
votes
0
answers
109
views
solutions of elliptic linear pde depending analytically on a parameter
Fix $ \Omega$ a bounded smooth domain in $ R^N$ and suppose $0<w(x)$ is a smooth solution of $ -\Delta w(x)=w(x)^2$ in $ \Omega$ with $ w=0$ on $ \partial \Omega$ (were are assuming $2< \frac{N+...
- 1,385
4
votes
2
answers
368
views
Recognizing Schwartz regular distributions
Are there characterizations of Schwartz regular distributions other than being locally integrable (which does not lend itself to easy manipulations)?
To be more detailed: if I want to show that some ...
- 5,407
4
votes
2
answers
447
views
Heat equation and evolution of number of critical points
Let $u_0$ be a smooth function on the unit sphere $S^1$ and assume that $u(t,x)$ is a smooth solution of the heat equation with initial data $u(0,x)=u_0(x)$. How one can apply the maximum principle to ...
2
votes
0
answers
142
views
Uniform bounds for a coupled parabolic system of PDE (linear)
Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$.
Consider the system, with $u^\epsilon, v^\epsilon \...
- 43
1
vote
1
answer
164
views
Estimates on evolution operator
Let's consider the following evolution operator in $\mathbb{R}^3$
$$S(t)=e^{(i+\delta)t\Delta }$$
How to get the following estimate
$$\Vert S(t)f\Vert_2\leq C_\varepsilon t^{-\frac{1}{4}}\Vert f\Vert_{...
- 13
2
votes
2
answers
144
views
First order pde with characteristics [closed]
Consider a first order pde of the type $$u_y+b(x)u_x=0$$ and suppose that the coefficient $b$ is not necessairly continuous (for instance with a jump in some point).
Is it still possible to apply in ...
- 21
1
vote
0
answers
136
views
A linear operator equation (PDE) with non-monotone term
I'm interested in the existence and/or uniqueness to the following problem. Let $V$ and $H$ be Hilbert spaces and $V \subset H \subset V^*$ form a Gelfand triple.
There is a linear operator $L:{D}(L) ...
- 11
3
votes
1
answer
563
views
Uniqueness of weak solutions of a heat equation
Let $M$ be a smooth compact closed manifold.
Let $u \in H^1(0,T;H^{-1}(M)) \cap L^2(0,T;H^1(M))$ be a solution of
$$u_t - \Delta u - u = 0$$
$$u(0)=u(T)$$
satisfying $\int_M u(t) = 0$ for all $t$. Is ...
- 33
1
vote
1
answer
360
views
Existence of the solution of a linear parabolic pde
Good day!
Let $V = H^1(\Omega)$, $\Omega \subset \mathbb R^3$.
Consider the linear parabolic equation $y' + Ay = f$ where $f \in L^q(0,T;V')$, $y \in W = \{y \in L^p(0,T;V) \colon dy/dt \in L^q(0,T;...
- 243
2
votes
1
answer
362
views
Tempered distribution solution to a simple PDE
Let's consider the following PDE in $\mathbb R^d$ :
$$\frac{\partial^d u}{\partial x_1...\partial x_d}=f$$
where $f$ is a tempered distribution with support in $\mathbb R^d_+$. There is a result by ...
- 630
3
votes
1
answer
344
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 ~\mathrm{d}\...
- 31
7
votes
2
answers
2k
views
Uniform bound on the eigenfunctions of the Laplacian
Is it possibly to have $L_\infty$ bounds on the eigenfunctions of the Laplacian operator on bounded regular domains with Dirichlet condition? I found several papers by Sogge but these are pretty ...
- 73