All Questions
Tagged with ap.analysis-of-pdes linear-pde
303 questions
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
3
votes
1
answer
1k
views
Long time behavior of the heat equation on R
Let $\mu\in\mathcal{S}'(R)$ be a Schwartz distribution. The solution of a heat equation with $\mu$ as the initial data is
$$
u(t,x)= \int_R \frac{e^{-\frac{(x-y)^2}{2t}}}{\sqrt{2\pi t}} \mu(d y)
$$
...
- 1,649
3
votes
1
answer
246
views
Schauder estimates with boundary conditions
For the elliptic equation with non-divergence form
$$
\sum_{i,j=1}^na_{ij}(x)\partial_{ij}^2u=f\text{ in }B(0,1)\quad\text{and}\quad u=g\text{ on }\partial B(0,1),
$$
where $ \{a_{ij}(x)\} $ is a ...
- 1,219
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 \...
- 33
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$. ...
3
votes
2
answers
272
views
A Global Estimates for Linear Elliptic PDE
Let $\Omega$ be a bounded smooth region in $R^n$ and $u$ satisfy
$-\Delta u+a(x)u=f, \ \ u|_{\partial \Omega}=0$,
where $a(x)\geq 0$ and $f(x)$ are smooth functions. I wonder if the following ...
3
votes
1
answer
4k
views
When is separation of variables an acceptable assumption to solve a PDE?
We know that one of the classical methods for solving some PDEs is the method of separation of variables. It works for known types of PDEs and many examples of physical phenomena are successfully ...
- 183
3
votes
1
answer
570
views
Extending a harmonic function in a ball to subharmonic in a larger ball
Consider the Laplace equation in a ball $B(r) \subset \mathbb{R}^n$ of radius $r$:
$$
\begin{cases}
-\Delta u &= 0, \quad \text {in} \quad B(r), \\
\ \ \ \ \ \, u&= g, \quad \text {in}\quad \...
- 632
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^{...
3
votes
1
answer
344
views
elliptic regularity of Neumann problem on Square
I asked a similar question the other day, but I will be more precise now.
Consider $ \Omega:=(0,1 ) \times (0,1)$ and consider
$$ - u_{xx}(x,y) - u_{yy}(x,y) + a(x) u_x + b(y) u_y + u = f(x,y) \mbox{...
- 1,385
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
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} = \...
- 139
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
3
votes
1
answer
195
views
The maximum in the Poisson problem on the cube with constant source
Question:
Let us consider the Poisson problem on the square with constant source $1$
$$
\begin{cases}
- \Delta u &= 1, \qquad \text{ in } (0,1)^n \\\\
u &= 0, \qquad \text{ on } \partial (...
- 1,081
3
votes
0
answers
65
views
Convex combination of cyclically monotone sets
I want to show the following statement, but I am not sure how.
Proposition(?):
Let $C \in \mathbb{R}^d$ be a compact convex set, and let $u, v : C \to \mathbb{R}$ be smooth convex functions.
Suppose
$$...
- 51
3
votes
0
answers
62
views
Geometric properties of the unique solution of an elliptic BVP involving the Lie derivative of the metric by a vector field
Setting
Let $(M,g)$ be a compact Riemannian manifold with smooth boundary, and let $\nabla$ be its associated Levi-Civita connection. Consider the following formally self-adjoint, second order linear ...
- 808
3
votes
0
answers
103
views
Comparison principle for Elliptic PDE with exponential nonlinearity
Suppose $\varphi$ is a radial (and radially decreasing) solution of
$$\Delta \varphi+e^{\varphi}=0, \ \ \text{on} \ \ r \in (0,R), $$
with $ R>0$, and $\psi$ is a decreasing radial function ...
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 ...
3
votes
0
answers
106
views
How to find a particular solution of a non-homogeneous parabolic partial differential equation
Consider the following non-homogeneous parabolic partial differential equation (PDE)
\begin{align}
\left(\cos\psi \frac{\partial}{\partial r} + \frac{\gamma}{r} \sin\psi \frac{\partial}{\partial \...
- 91
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_{...
- 692
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 ...
- 445
3
votes
0
answers
350
views
Critical spaces and energy estimate in NS equation [closed]
There is a ‘rescaling transformation’ that is particularly significant for
the Navier–Stokes equations when they are posed on the whole space, but is
also important in the local regularity theory.
...
- 139
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
3
votes
1
answer
160
views
Solving a system of equations involving smooth functions
I have asked the following question in math.stackexchange, but I could not receive the answer. See here.
Suppose $h_{i\overline{j}}$, where $1\leq i, j\leq n$, are functions defined on $\mathbb{C}^n$ ...
- 501
3
votes
0
answers
208
views
Analytic solution to two component, first order, linear PDE system
I would like to obtain analytic solutions to the following PDE system:
\begin{equation}
\rho_t + D(\lambda)\,\rho_\lambda = A(\lambda) \rho, \tag{1}
\end{equation}
with $\rho = (\rho_0,\rho_1)^T$, $D$ ...
- 268
3
votes
0
answers
338
views
Method of characteristic for a system of first order PDEs
I am working with this system of first order PDEs:
\begin{equation}
\left\{
\begin{aligned}
%Suscettibili
&\frac{\partial{S}(a,t)}{\partial{t}} + \frac{\partial{S}(a,t)}{\partial{a}}= -\lambda(a,...
- 31
3
votes
0
answers
106
views
Constant in a trace Sobolev theorem for concave domains
I wonder is the following inequality is true/known:
Let $\Omega\subset \mathbb{R}^n$ be a (locally) Lipschitz domain which is the complement of a convex set, then
$$
\int_{\partial\Omega} |u|^2 ds
\...
- 175
3
votes
0
answers
399
views
Laplace Equation with Tangential Derivative Prescribed on the Boundary [closed]
I asked this question on MSE. However, I didn't get good answers there so I am seeking for it here. :)
Consider the following Laplace boundary value problem (BVP)
$$\matrix{
{{\nabla ^2}\Phi (x,y)...
- 271
3
votes
0
answers
430
views
Boundary regularity of the solution to the Beltrami equation
Hello, this question might sound a little vague, but I still dare to state , and I am basically requesting for some reference:
Let us consider the orientation-preserving homeomorphic solutions $f: D \...
- 1,471
2
votes
1
answer
548
views
Does this PDE only have the trivial solution?
Let $(M,g)$ be a closed Einstein manifold of dimension $m>2$ and
$$
\mathrm{Ricc}(g)=\lambda g,
$$
$h$ a symmetric $2$-covariant tensor, $\Delta=\nabla^*\nabla$ the Laplacian on functions as well ...
- 376
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 ...
- 21
2
votes
3
answers
542
views
BVPs for elliptic PDOs: When do Green functions ($L^2$ inverses) define pseudo-differential operators in the interior?
I asked the following question on math.SE (https://math.stackexchange.com/questions/2420298/bvps-for-elliptic-pdos-when-do-green-functions-l2-inverses-define-pseudo-d) just over two months ago, and it ...
- 159
2
votes
3
answers
758
views
How to prove/disprove that quasiconformal maps send measure-zero sets to measure-zero sets
$Qn#1 $
: Let $f:U\to V$ be a $K$ quasiconformal homeomorphism ( NOT diffeomorphism ) of plane open subsets of $C$. By my definition of quasiconformality, I mean 1)$f$ is continuous, 2)the weak ...
- 1,471
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 ...
- 329
2
votes
1
answer
391
views
Estimates for linear elliptic PDE in the whole of $\mathbb{R}^n$
I am struggling to track down any literature on the topic of elliptic regularity when the domain in question is the whole space $\mathbb{R}^n$. Consider the Sobolev spaces $\dot W^{1,p}(\mathbb{R}^n)$,...
- 73
2
votes
1
answer
277
views
Growth at infinity of a solution to a parabolic PDE
Let us consider the equation:
\begin{align*}
(\partial_t - \Delta - b(t,x) \partial_x) u(t,x)& = f(t,x) \\
u(0,x) & = u_0
\end{align*}
defined on the whole real line (so in one dimension - but ...
- 387
2
votes
1
answer
850
views
The Biharmonic Eigenvalue Problem on a Rectangle with Dirichlet Boundary Conditions
I am interested in solving the following biharmonic eigenvalue problem.
$$\begin{array}{cccc}
& \Delta ^2 \Psi (x,y) = \lambda \Psi (x,y), & - a \le x \le a & - b \le y \le b \\
&...
- 271
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}...
- 5,038
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
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
2
votes
1
answer
172
views
Method of characteristics with 2 dependent variables in 3 dimensions
I'm interested in solving a first-order linear PDE with 2 dependent variables in 3 dimensions by the method of characteristics. Something of this general form:
$$
A \frac{\partial u}{\partial x} + B \...
- 123
2
votes
1
answer
324
views
Using Darboux's to solve 2D system of first order linear PDEs with variable coefficients
I've spent some time over the last few days looking at the references suggested in this question and this question and I think the information therein is my best shot at solving this system that arose ...
- 131
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{\...
- 6,741
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 $...
- 69
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
2
votes
1
answer
212
views
The centralizer of Lienard equation
Consider the lienard vector field $\cases{
x'=y -F(x) \\
y'=-x }
$ in $\mathbb{R}^{2}$, where $F$ is a polynomial fuction with $F(0)=0$. Assume that $Y$ is a smooth vector field globally defined ...
- 356
2
votes
1
answer
258
views
Generalizing a formula with distributions — Distributional Radon transform
I will try to describe the problem, it will necessarily be incomplete, so please if you have questions or remarks to make it more clear do not hesitate to leave them in comments.
The problem
Let $a$ ...
- 21
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
1
answer
168
views
Existence of a global analytic solution to a linear first order PDE
Let $B=\lbrace \|z\|<1\rbrace$ be a unit ball in $\mathbb{C}^n, n\geq 2.$ Let
$f_1,\cdots, f_n, f$ be holomorphic functions on $B.$ Now, consider the following
first order, linear PDE:
$$f_1\...
- 21
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 ...
- 313