Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
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 ...
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 ...
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)&...
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_\...
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 ...
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 ...
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 \...
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 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)$ ...
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$ ...
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 ...
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) = ...
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 ...
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{...
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 ...
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 ...
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 \...
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
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 ...
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 ...
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^{...
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 ...
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 = ...
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 ...
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
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 ...
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}{\...
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 $ \...
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 ...
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$}$$ ...
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 ...
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 ...
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 ...
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 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 $...
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 ...
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+...
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 ...
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_{...
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 ...
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) ...
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 ...
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;...
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 ...
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 ...
4 votes
1 answer
586 views

Upper bounds for the solution of an elliptic PDE depending on a parameter.

Suppose I have the following PDE on $[0,1]^n$ $$\mathcal{L}u = -\nabla \cdot \left(a(x, r)\nabla u\right) = f(x,r), \qquad x\in [0,1]^n,$$ with periodic boundary conditions and $\int f(x) dx =0$ . ...