Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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, ...

1 2
3
4 5
7