All Questions
Tagged with ap.analysis-of-pdes linear-pde
303 questions
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 \...
3
votes
1
answer
269
views
Is this equation of hyperbolic type?
I want to now whether this equation is of hyperbolic type:
$$(1-\partial_{xx})y_{tt}+y_{xxxx}=0$$
with boundary conditions $$y(t,0)=y(t,1)=y_x(t,0)=y_x(t,1)=0.$$
I would say that the answer is yes. By ...
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 ...
2
votes
0
answers
96
views
Evolution PDE in dual space : Generalization of a result of Gelfand
The following result is proved in "Generalized functions", Volume 3, Chapter 2.2 by Gelfand :
Let $\Phi$ be a Fréchet space with dual space $\Phi'$ endowed with the weak topology. For ...
1
vote
0
answers
133
views
How can you make a PDE solution stabilize over time?
this is a problem I have been thinking about lately. I tried asking on stack exchange as well but did not find an answer.
Suppose I have a simple linear first order PDE of the form:
$$au_x+bu_y=0$$
I ...
2
votes
1
answer
169
views
What rotations are used as a reduction step in Kenig-Ruiz-Sogge's uniform Sobolev estimate?
I think I have understood the bulk of the paper [KRS], but one of the parts I cannot understand is when the authors reduce Theorem 2.1 (p.332) into Proposition 2.1 (p.335). I can understand all the ...
2
votes
1
answer
254
views
How to trap a particle without using potential field which is infinity at some point? (quantum physics) If impossible, how to prove it?
As we all know, the wave function of the stationary state a quantum particle trapped in a rigid box (with infinite potential outside the box) cannot have a non-zero value outside the box. So can we ...
5
votes
2
answers
431
views
General solution to an ultrahyperbolic PDE
$\DeclareMathOperator\SO{SO}$The following PDE defined on $\mathbb{R}^2$ $$\frac{\partial}{\partial x}\frac{\partial}{\partial y}f(x,y) = 0,$$ has solution $$f(x,y) = g(x) + h(y),$$ where $g,h : \...
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
votes
0
answers
113
views
Divergence-free constraint for a boundary integral equation
Consider the system
$$
\begin{cases}
\operatorname{curl} \operatorname{curl} \mathbf{u} = 0 \qquad B \cup (\mathbb{R}^3 \setminus \overline{B}) \\
c_1 (\operatorname{curl} \mathbf{u} \times \mathbf{n})...
6
votes
2
answers
340
views
Vacuum region with positive measure for the Schrödinger equation
Let us consider the free Schrödinger equation $(i\partial_t+\Delta_x)\psi=0$ in $\mathbb{R}_t\times\mathbb{R}_x^d$. I'm trying to understand the structure of the vacuum region
$$\Omega(\psi):=\{(t,x)\...
2
votes
1
answer
256
views
Existence of divergence-free unit vector field in conformally rescaled euclidean metric
Question. Let $\Omega \subset \mathbf{R}^2$ be a convex polygonal domain, equipped with a Riemannian metric $g$. Under which conditions on $g$ is there a vector field $X$ in $\Omega$ with $\mathrm{div}...
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
1
answer
164
views
The only rotation fields satisfying this PDE are constant
$\newcommand{\div}{\operatorname{div}}$$\newcommand{\SO}{\operatorname{SO(2)}}$$\newcommand{\R}{\operatorname{\mathbb{R}}}$$\newcommand{\bdx}{\partial_x}$$\newcommand{\bdy}{\partial_y}$$\newcommand{\...
3
votes
1
answer
404
views
Neumann/Robin Laplacian semigroup well-known estimate
Let $\Delta_R:D(\Delta_R)\to L^2(\Omega)$ the Robin Laplacian defined on:
$$D(\Delta_R)=\left\{u\in H^1(\Omega)\ \big |\ \Delta u\in L^2(\Omega),\ \dfrac{\partial u}{\partial\nu}+bu=0 \ \text{on}\ \...
7
votes
1
answer
906
views
Lax pairs for linear PDEs
I'm trying to understand the discussion around equation (2.1) of the paper http://www.jstor.org/stable/53053. It says that the linear PDE $M(\partial_x,\partial_y)q=0$ with constant coefficients has ...
1
vote
0
answers
282
views
Fourier Transform; half space baby problem (new)
This question is related to a prior question i asked, see Fourier Transform ; half space elliptic baby problem.
Essentially I am asking the same question now but taking a lot more care.
So lets ...
4
votes
2
answers
226
views
Looking for a reference or the procedure on how to solve the parabolic equation with $L^2$-weight
Let $\zeta, u_0\in L^2(\Omega)$, with $\zeta \geq 0$ and $\Omega\subset \Bbb R^d$ open and bounded.
\begin{equation}\label{Star-3.7}
\begin{cases}
\partial_t u -\Delta u + \zeta u=0 &\mbox{ in }\...
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 ...
5
votes
1
answer
486
views
Lack of exponential $L^2_{t,x}$ decay for a heat equation with growing coefficients
Edit: I have changed the nature of the question, but in order to have a better idea of what I can expect for the original problem (see below).
Given $T>0$ and $n \in \bf Z$, consider the following ...
3
votes
1
answer
230
views
Is there a metric on Euclidean space that turns the Helmholtz equation into the Laplace equation?
Is there a Riemannian metric $\tilde g$ on $\mathbb R^d$ such that
$$\tag{1}
\Delta_{\tilde g}=e^f(\Delta +1),$$
for some $f\in C^\infty(\mathbb R^d)$? Here $\Delta=\partial_{x_1}^2+\ldots+\partial_{...
4
votes
0
answers
165
views
Continuity of weak solutions to wave equation with time-dependent coefficients
Consider the following second-order wave equation
$$
u_{tt} - div( a\cdot \nabla u) = f \quad \text{ in } (0,T)\times \Omega
$$
with boundary conditions
$$
u(0)=g, \ u_t(0)=h, \ u|_{\partial \Omega}=0....
3
votes
0
answers
98
views
Semiclassical analysis and reflection law
I was curious about the following vague question. In pseudodifferential calculus and semi-classical analysis there are various theorems that relate geodesics of the underlying space to the behavior of ...
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 ...
2
votes
1
answer
305
views
Reconstructing the metric on $CP^2$ with special one forms
I know that $(z_1,z_2)$ are the affine\inhomogeneous coordinates on the complex projective space $CP^2$. Now I have four one forms $(Y_1,Y_2, Y_3, Y_4)$. I want to rewrite the Fubini Study metric on $...
1
vote
0
answers
123
views
Perturbation in the equation $u_t=\epsilon Pu$, where $P$ is an elliptic partial differential operator
Let $Pu=\sum_{ij} \partial_j(a_{ij}(x) \partial_{i} u)$ be an elliptic operator. Consider the equation
$$
(u=u_\epsilon)\\
\partial_t u=\epsilon Pu \text{ in } \mathbb R^+ \times \Omega,\\
u(0,x)=u_0(...
2
votes
0
answers
100
views
$L^\infty$ Transport Equation Estimate: Characteristics of the Milne Problem on a Finite Slab
Cross-posted from MSE here.
I'm trying to justify equation (3.43) on page 18 of this paper by Lei Wu and Yan Guo on diffusion approximation of the radiative transport equation.
Consider the following ...
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 \...
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 ...
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 ...
2
votes
0
answers
133
views
Isometric immersions of $\mathbb{S}^n$ into $\mathbb{S}^{2n}$
A major open problem in submanifold geometry is to determine whether there exists a nontotally geodesic isometric immersion of $\mathbb{S}^n$ into $\mathbb{S}^{2n}$. Every isometric immersion of $\...
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 $...
22
votes
5
answers
16k
views
Physical interpretation of Robin boundary conditions
In a (bounded) domain $\Omega \subset \mathbb{R}^n$, if we're studying the Laplace equation or heat equation or such PDE's we can impose the Dirichlet
$u|_{\partial\Omega} \equiv 0$,
Neumann
$D_{\nu} ...
3
votes
1
answer
89
views
Space of holomorphic functions multiplied by smooth functions taking real values
Suppose we have a fixed function $f: \mathbb{R}^2 \rightarrow \mathbb{R}^2$ (sufficiently regular, say $C^\infty$ ). The question is: for which $f$ there exists a scalar function $g: \mathbb{R}^2 \...
1
vote
0
answers
70
views
Approach to solve a coupled system of PDE (heat transfer in cylindrical coordinates)
I have the following two PDEs, which describe steady-state coupled heat transport between an externally heated axisymmetric solid body (Eq. 1, $T(r,z)$) and a fluid (Eq. 2, $t(z)$) flowing inside it:
...
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} = \...
1
vote
1
answer
491
views
Existence for an overdetermined system of PDEs
I am interested in the existence of a vector valued solution $y = y(x, t) \in\mathbb{R}^n$ to a system of $2n$ equations: there are twice more equations than unknowns. More precisely:
Let $A$ and $...
4
votes
2
answers
1k
views
Gradient $L^p$ estimates for heat equation
I'm looking for a proof of the gradient estimate associated to the heat equation with Dirichlet boundary conditions, to see if I can express the constant $\color{red}{C}$.
$$\|e^{t\Delta_d}f\|_{W^{1,...
2
votes
1
answer
408
views
Regularity on the boundary for the heat equation with linear source
This is probably a known problem but I was not able to find exactly what I am looking for.
I have the following linear heat equation with zero-flux boundary conditions:
\begin{equation}
\begin{cases}...
3
votes
2
answers
423
views
Airy's equation on $\mathbb R_-$
I am interested in Airy's equation
$$\frac{\partial u}{\partial t}(t,x)=-\frac{\partial^3 u}{\partial x^3}(t,x)$$
on a bounded or semi-bounded domain, e.g. on $(-\infty,0)$. In order to obtain a group ...
7
votes
2
answers
635
views
System of linear pde with non constant coefficients
I'm a physicist and during my research work, I found a system of linear pde with non constant coefficients that I have to study, since I have totally no experience about systems of pde and I have even ...
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|_{\...
4
votes
3
answers
504
views
Solutions of $\Delta \phi + \phi =0$ on $\mathbb{R}^2$
I know a few solutions of the equation $\Delta \phi + \phi =0$ on $\mathbb{R}^2$. They can be described as the Fourier transform of any finite measure $\mu$ on $S^1$. In particular take $\mu$ a finite,...
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 ...
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, ...
1
vote
0
answers
125
views
6 linear PDE for only 3 unknowns?
Let $x \in (0,L)$, $t \in (0,T)$, and let $u_0 = u_0(x) \in \mathbb{R}^3$, $g=g(t) \in \mathbb{R}^3$, $P = P(x,t) \in \mathbb{R}^3$ and $Q = Q(x,t) \in \mathbb{R}^3$ be continuously differentiable ...
1
vote
1
answer
261
views
First order partial differential equation [closed]
I know there is a solution to this pde
$$\partial_{t} f(t,x)= \partial_{x}(v(x)f(t,x))$$
$$ f(0,x)=g(x)$$
( Where $v$ and $g$ are known functions)
which is given by
$$ f(t,x)=\frac{1}{v(x)} h(t+\...
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$. ...
1
vote
1
answer
438
views
Global solutions of the wave equation with bounded initial condition
Let $f,g$ be bounded compactly supported smooth functions, and assume $u$ is the solutions of the wave equation
$$u_{tt}-c^2(x)\Delta u=0 \ \ \hbox{on} \ \ \mathbb{R}^n \times (0,\infty)$$
$$u(x,0)=f, ...