Questions tagged [ap.analysis-of-pdes]
Partial differential equations (PDEs): Existence and uniqueness, regularity, boundary conditions, linear and non-linear operators, stability, soliton theory, integrable PDEs, conservation laws, qualitative dynamics.
4,466 questions
4
votes
3
answers
1k
views
Using Galerkin method for PDE with Neumann boundary condition?
I am wanting to show existence of solutions to
$$u_t +L(u) = f \;\;\text{on}\;\; \Omega$$
with initial condition $u|_{t=0} = u_0$ and Neumann boundary condition $\nabla u\cdot \nu = 0$ on ${\partial\...
- 109
4
votes
2
answers
242
views
Sharp Dirichlet heat kernel estimates in exterior domains?
I am right now working on some linear parabolic problems studying the behaviour of its solutions for large initial data. To do this, I have needed to use some estimates of the Dirichlet and Neumann ...
- 6,035
3
votes
0
answers
109
views
Local strong solution to Navier-Stokes equation by Galerkin method without using the eigenfunctions of the Stokes operator
The existence of a local-in-time strong solution to the Navier-Stokes equations in a smoothly bounded domain $\Omega \subseteq \mathbb{R}^3$ (say with no-slip boundary condition) can be obtained by a ...
- 109
2
votes
0
answers
149
views
An oscillatory integral
Let $s>0, v\in \mathbb{R}^d, w\in \mathbb{R}, |w|\leq 1$. Pick a cut-off function $B(0,1)\prec \eta \prec B(0,2)$ and a large real number $N$. Do we have the following type of estimates?
\begin{...
- 351
3
votes
1
answer
752
views
About radial Sobolev inequality (Strauss Lemma)
As shown in Strauss: Existence of solitary waves in higher dimensions, Strauss introduces the Stauss lemma. Precisely speaking, we have the following theorem:
Theorem Let $N \ge 2$, every radial ...
- 39.1k
4
votes
0
answers
82
views
On the convergence of the spectral decomposition of a harmonic function
Let $(M,g)$ be a smooth compact Riemannian manifold of dimension $n\geq 2$ with a smooth boundary. Denote by $0<\lambda_1\leq \lambda_2\leq\ldots$ the Dirichlet eigenvalues of $-\Delta_g$ on $(M,g)$...
- 4,115
0
votes
0
answers
57
views
Existence of measure-preserving Lagrange flow for inhomogeneous transport equation
I asked this question on stackexchange:
Let us consider the Cauchy problem for the transport equation
$$ \partial_t \varphi + b\cdot \nabla \varphi= f \text{ in } (0,T)\times\mathbb{R}^3,\\ \varphi(0,...
- 173
6
votes
1
answer
425
views
Lipschitz property of the symmetric rearrangement
I'm currently reading Talenti's paper "Best constant in Sobolev inequality" and am rather stuck on an argument on pg 363 (or pg 11 if you're reading the pdf). In this section of the paper, ...
- 128k
0
votes
0
answers
63
views
increasing property of the heat equation on the interval
$Q_T^l=\{(x,t); 0<x<l, 0<t\leq T\}$,
$u_l\in C^{2,1}(Q_T^l)\cap C(\bar Q_T^l)$ is the solution of $\frac{\partial u_l}{\partial t}-a^2\frac{\partial^2u_l}{\partial x^2}=f(x,t), (x,t)\in Q_T^l$...
- 119
3
votes
1
answer
384
views
Maximum principle and linear transport
Let us consider the linear transport equation
$$
\partial_t u + \mathrm{div}(a(t,x)u)=0
$$
with initial data $u(0,\cdot) = u_0$ in $\mathbb R^N$.
Here we consider a smooth Lipschitz vector field $a$.
...
- 2,281
4
votes
0
answers
105
views
Gradient bounds on a solution of a linear elliptic problem
Take $\Omega$ to be a bounded domain in $N$ dimensional Euclidean space with smooth boundary and we assume $\Omega$ contains the origin. I am interested is the following equation
$$ \Delta \phi(x) ...
- 6,367
1
vote
1
answer
510
views
Fourier transform of the fractional Poisson kernel
Recall that the extension of function from $u:\mathbb{R}^n\to \mathbb{R}$ can be defined using the Poisson Kernel as follows:
$$u^{\mathrm{e}}(\mathbf{x}):=\gamma_{n} \int_{\mathbb{R}^{n}} \frac{x_{n+...
- 2,836
2
votes
1
answer
217
views
Lower Gaussian estimates for Dirichlet heat kernel on manifolds
Let $(M,g)$ be a Riemannian $n$-manifold with $Ric_g\ge -Kg$, $\Omega\subset M$ be an open subset. We can define Dirichlet heat kernel on $\Omega$, $p_{\Omega}(y,t,y',t')$ as the minimal fundamental ...
CommunityBot
- 1
1
vote
1
answer
250
views
Moser/Schauder estimates for coercive boundary conditions
Consider the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on $(0, \infty) \times \Omega$, where $\Omega \subset \mathbb{R}^n$ is an open bounded domain with smooth boundary, and $L$ is a ...
CommunityBot
- 1
7
votes
4
answers
6k
views
The characteristic (indicator) function of a set is not in the Sobolev space H¹
Is it true that the characteristic
(indicator) function of a subset of
Euclidean space with finite positive
measure is never in the Sobolev space
$H^1 = W^{1,2}$? And if so, what is the best/easiest/...
- 12.9k
4
votes
1
answer
279
views
Unique solutions to the heat equation on $\mathbb{R}^3$
Pierre-Gilles Lemarie-Rieusset, The Navier-Stokes Problem in the 21st Century treats the heat equation on $\mathbb{R}^3$ for time $t\geq 0$, and proves uniqueness of suitably smooth solutions by a ...
- 11.1k
2
votes
0
answers
119
views
Reference request – a priori estimate – mixed boundary condition
I am interested in finding references regarding estimates of the form
$$ \| D^2 u\|_{L^2(\Omega)} \leq C(\|f\|_{L^2(\Omega)}+\|g\|_{S} )$$
where $\|D^2 u\|_{L^2(\Omega)}^2 = \sum\limits_{i,j \in \{1,2\...
- 2,222
17
votes
1
answer
1k
views
Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)
Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
\...
CommunityBot
- 1
3
votes
1
answer
261
views
The continuous dependence of the Green's function on a domain
Let $\Omega\in\mathbb{R}^2$ be a smooth bounded domain and $G(x,y)$ be the Green's function of $-\Delta$ in $\Omega$ with zero Dirichlet condition. Clearly $G(x,y)=-\frac{1}{2\pi}\ln|x-y|-h(x,y)$, ...
- 379
7
votes
1
answer
977
views
Kernel of the Laplacian + a function
It is known that the kernel of the (non-negative) Laplacian operator on a closed manifold consists of constant functions. I would like to ask if some similar phenomena happens for the modified ...
- 188k
6
votes
0
answers
3k
views
Top journals in mathematical analysis [closed]
How would you (broadly) rank the journals that specialize in mathematical analysis and related areas such as PDEs?
As far as I know, GAFA looks like it is the top one. But apart from that, how can I ...
- 393
1
vote
1
answer
209
views
A Cauchy problem for an iterated Euler-Poisson-Darboux equation
I'm interested in solving a Cauchy problem for the iterated singular EPD.
Weinstein (On a class of PDEs of even order, 1955) showed how the decomposition formula leads to the solution of the Cauchy ...
- 52.3k
2
votes
1
answer
252
views
Estimates on the second-order derivatives for degenerate Monge-Ampere equations
The current post comes from my previous post at stackexchange. However, I have not get any comment yet.
In a celebrated paper written by Guan, Trudinger, and Wang, authors proved the existence and ...
- 4,899
2
votes
0
answers
138
views
Problems arising from a paper on the radial symmetry of the global solution of semilinear PDE $\Delta u+f(u)=0$ in $\Bbb{R}^{n}$
I am reading the paper [1] by Congming Li.
I want to talk about the typical case that the author gives as follows ([1], §1, pp. 590-):
In this section, we study positive solutions of the following ...
- 809
2
votes
1
answer
452
views
What do higher order diffusion terms do?
I have been trying to learn to work with the Python module FiPy, which is supposed to solve PDEs of the form
$$
\frac {\partial(\rho \phi)} {\partial t} - [\nabla\cdot(\Gamma_i\nabla)]^n\phi - \nabla \...
- 6,367
18
votes
4
answers
3k
views
Einstein field equations in perspectives from PDE and functional analysis
The Einstein field equations have been subject of research in theoretical physics, and differential geometry, apparently with methods from classical analysis and geometry. In particular, solutions in ...
- 39.1k
1
vote
0
answers
109
views
Is there any class of initial data for which the heat semigroup is increasing in time?
Lee and Ni proved in the paper Global existence, large time behavior and life span of solutions of semi linear parabolic Cauchy problem that the heat semigroup decays as $t$ tends to infinity, that is
...
- 677
3
votes
0
answers
84
views
A weighted $W^{2,p}$ estimates
Let $\Omega$ be a bounded smooth domain and $u\in W^{2,p}(\Omega)\cap H^1_0(\Omega)$. By the classical $L^p$ theory of second order elliptic equation, we have
$$
\|\nabla^2u\|_{L^p(\Omega)}\leq C\|\...
- 6,367
5
votes
0
answers
129
views
$L^p$ estimates for linear parabolic pdes
Let $u$ solve the linear parabolic equation
$$
u_t - \Delta u = f \text{ on } \Omega \times (0,T)
$$
with initial condition $u(0)=u_0$ and homogeneous Dirichlet boundary condition on $\partial \Omega ...
- 273
1
vote
1
answer
71
views
Estimate $\Vert \Delta u(t)\Vert_{2}$ in term of energy
We consider the wave equation
$$\left\{
\begin{array}{ll}
u_{tt}(x,t)-\Delta u(x,t)=0, x \in \Omega, t>0\\
u=0, \quad u \in \partial \Omega, t>0 \\
u(0,x)=u_{0}(x), \quad u_{t}(0,x)=u_{1}(x), x \...
- 39.1k
3
votes
1
answer
377
views
A problem of using Schauder estimate in the paper of Yau's proof of calabi conjecture
[This question is looking at the paper
Yau, S.-T., On The Ricci Curvature of a Compact Kähler Manifold and the Complex Monge-Ampére Equation, I, Comm. Pure Appl. Math., 31 (1978) 339-411, doi:10.1002/...
- 2,247
8
votes
1
answer
532
views
An inequality for the Hessian of eigenfunctions of the Laplacian on compact manifolds
Let $(M,g)$ be a compact Riemannian manifold, and let $\Delta$ be the Laplace-Beltrami operator. Let $\lambda_1 >0$ be the first positive eigenvalue. That is, there exists a non-trivial function ...
CommunityBot
- 1
4
votes
1
answer
289
views
Gradient estimates
Gradient estimates (and especially the differential Harnack) for harmonic functions on Riemannian manifolds were proved by Cheng and Yau in 1975, by using Bochner's formula. However, it seems that ...
- 2,247
3
votes
0
answers
86
views
Differentiability of a weak solution
Let $d$ be a positive integer with $d \ge 2$. We write $x=(x_1,\ldots,x_{d-1},x_d)=(\hat{x},x_d)$ for $x \in \mathbb{R}^d.$ The standard inner product and the Euclidean norm on $\mathbb{R}^d$ are ...
- 721
6
votes
1
answer
349
views
Short time existence for fully nonlinear parabolic equations
I am trying to assert short time existence for a fully nonlinear equation of the general form
\begin{equation}
\begin{cases}
u_t = F(x,u,Du,D^2u) & \text{in }(0,T)\times\Omega\\
u(\cdot,0) = u_0(\...
- 9,007
1
vote
0
answers
57
views
How to show the solution map of NLS is not smooth?
Let $u(\delta, t)$ satisfy
$$iu_t +\Delta u+ |u|^{2k}u=0, \quad u(0)=\delta v_0$$
Note that the mapping:
$$\delta v_0\mapsto u(\delta, t)= S(t)(\delta v_0)-i\int_0^tS(t-\tau)(|u|^{2k}u)(\tau)d\tau $$
...
- 325
2
votes
0
answers
138
views
Gradient $L^\infty$-estimate for heat equation with homogeneous Dirichlet boundary condition
$\Omega\subset \mathbb{R}^N$ is a bounded smooth domain. Consider the homogeneous heat equation with zero boundary condition in $\Omega$
\begin{cases}
\partial_t u-\Delta u=0 \quad(x,t)\in \Omega\...
- 121
1
vote
1
answer
149
views
Completeness of asymptotically Euclidean manifolds
Say that you place an asymptotically Euclidean metric on $\mathbb{R}^3,$ e.g. $\mathbb{R}^3$ is endowed Riemannian metric $g$ such that $\text{supp}(g^{ij}-\delta^{ij})\subseteq\{|x|\leq R\}$ for some ...
- 39.1k
5
votes
0
answers
174
views
Are there connected closed 4-manifolds admitting a regular Almost Lagrangian distribution, and which are not Lorentzian?
In the category of real differential manifolds, connected (of $ C ^ {\infty} $ class in the sequel), closed of dimension 4, is there any manifold admitting a regular Almost Lagrangian distribution and ...
2
votes
2
answers
631
views
Decomposition of a positive definite matrix
Let $K(x)_{n\times n}$ be a positive definite matrix defined on $x\in D$ and $K_{i,j}(x)\in C^2(D)$ (or generally $C^k$) for any $1\le i,j\le n$. Of course for any $x$, there exists a invertable ...
- 52.3k
1
vote
1
answer
105
views
Local boundedness for Cauchy problem
Consider the Cauchy problem
$$\left\{\hspace{5pt}\begin{aligned}
&-\dfrac{\partial u }{\partial t}
+a\dfrac{\partial^2 u}{\partial x^2}
+b \dfrac{\partial u }{\partial x}
+c u
= f(u) \leq 0& ...
- 54
3
votes
0
answers
65
views
Existence of ground state solutions for the critical exponent
I have been recently reading Kwong's paper on the uniqueness of positive solutions for the equation $\Delta u-u+u^p=0$ in $\mathbb{R}^n$.
The authors show that the above equation has a unique positive ...
- 537
1
vote
0
answers
93
views
$H^s$ norm of dispersive semigroup
The Bourgain space is $X^{s,b} := X^{s,b}(\mathbb R \times \mathbb{T}^3)$ is the completion of $C^\infty (\mathbb R; H^s(\mathbb{T}^3))$ under the norm
$$\| u\|_{X^{s,b}}:= \|e^{- i t \triangle} u(t,x)...
- 63.9k
1
vote
1
answer
276
views
Exponential decay bound on integral
I have an integral of the form
$$ \int_R^{\infty} e^{-x} x^n \vert L_m^{\alpha}(x) \vert^2 \ dx,$$
where $L_m^{\alpha}$ is the generalized Laguerre polynomial and $n \ge 0.$
I would to get a nice ...
- 128k
30
votes
8
answers
4k
views
Applications of microlocal analysis?
What examples are there of striking applications of the ideas of microlocal analysis?
Ideally I'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/...
- 1,286
1
vote
0
answers
74
views
Reference request: normal trace and the conormal derivative associated to the operator $Div (A \nabla)$ for a symmetric positive definite $A$
Let $A$ be a $3\times 3$ symmetric positive definite matrix. I am looking for a reference where I could find in which sense the normal trace $\gamma$ and conormal derivative $\gamma_n$ associated to ...
- 63
0
votes
0
answers
98
views
Viscous stress equation in Newtonian fluid
In this Wikipedia entry, it is said that for the incompressible isotropic case of Newtonian fluid, the viscous stress equation is
$$
\tau_{i j}=\mu\left(\frac{\partial v_{i}}{\partial x_{j}}+\frac{\...
- 9
4
votes
1
answer
337
views
The behavior of $ \nabla u $ on the boundary for Poisson equations
Let $ \Omega $ be a bounded domain with smooth boundary. Consider the Poisson equation
\begin{eqnarray}
-\Delta u&=&f\text{ in }\Omega\\
u&=&0\text{ on }\partial\Omega
\end{eqnarray}
...
- 6,035
2
votes
0
answers
205
views
Dependency of fundamental solution on coefficients of heat equation
Let $b: \mathbb R_+\to\mathbb R_+$ and $\sigma: \mathbb R_+\times \mathbb R\to\mathbb R_+$ be Lipschitz and bounded. Assume further $\sigma$ is elliptic, i.e. $\inf_{(t,x)}\sigma(t,x)>0$. For each $...
- 1,334
4
votes
1
answer
343
views
Reference request: continuity of the derivatives of the (fundamental) solution to a parabolic equation
Consider the parabolic equation in $p: \mathbb R^2\to\mathbb R$
$$\partial_t p + b(t)\partial_x p + D(t,x)\partial^2_{xx}p=0,$$
where $b$, $D$ are nice enough functions. I look for the continuity of ...
- 4,899