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,468 questions
2
votes
0
answers
150
views
Reference for weighted Sobolev spaces
I'm looking for a comprehensive reference illustrating, from the ground up, the basics of weighted Sobolev Spaces on Lipschitz domains (this case should be included, but I don't need less than it). ...
3
votes
1
answer
454
views
Duality argument
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$Throughout my studying for some papers, in particular, the proof of localized Strichartz estimates, I encountered a use of the ...
5
votes
1
answer
487
views
Fokker-Planck: equivalence between linear spectral gap and nonlinear displacement convexity?
In a smooth, bounded and convex domain $\Omega\subset \mathbb R^d$ consider the usual linear Fokker-Planck equation with Neumann (some would say Robin) boundary conditions
\begin{equation}
\label{FP}
\...
2
votes
1
answer
197
views
Are there any researches on Liouville's equation $\Delta u=K e^{ u}$ when $K<0$?
Are there any researches on Liouville's equation $\Delta u=K e^{ u}$ when $K<0$?
I have seen many papers on Liouville's equation $\Delta u=K e^{ u}$ when $K>0$, such as enter link description ...
3
votes
0
answers
130
views
Is the range of the exterior covariant derivative closed in $L^{2}$?
Let $(M,g)$ be a compact Riemannian manifold. Given a tensor bundle $\mathbb{E}$, let $\nabla:\Gamma(\mathbb{E}) \rightarrow \Gamma(T^{*}M\otimes \mathbb{E})$ be the canonical connection induced by ...
8
votes
2
answers
2k
views
Why don't we study hyperbolic equations as elliptic and parabolic equations?
In the research of elliptic and parabolic equations, the Schauder estimate is one of the most important issues for them. In this topic, we always bound the norm of higher regularity in the small ...
0
votes
1
answer
186
views
Explicit solutions for linear system of PDEs with constant coefficients
I've been recently trying to to solve the following system of linear 1st order PDE's:
$f:\Omega^d\xrightarrow{}\mathbb{R},\quad A^{(k)}\in\mathbb{R}^{N\times N},\quad B^{(k)}\in\mathbb{R}^N$
$\dfrac{\...
0
votes
0
answers
54
views
Perturbation of first eigenvalue
Let $\Omega$ be a bounded domain in $R^N$ and suppose $\gamma$ is some smooth bounded function in $\Omega$. Let $ -\Delta \phi_0 = \lambda_0 \phi_0 $ in $ \Omega$ with $ \phi_0=0$ on $ \partial \...
4
votes
0
answers
213
views
Problems arising from the Trudinger's paper in 1968 "Remarks concerning the conformal deformation of riemannian structures on compact manifolds"
I'm reading the paper Remarks concerning the conformal deformation of riemannian
structures on compact manifolds by NEIL S. TRUDINGER.
I'm stuck with the Theorem 3, which says that let $u$ be a $W_{2}^...
3
votes
0
answers
172
views
A pde inequality
Say $M$ be a closed manifold of dimension $6$, we have
\begin{align*}
\Delta f\leq g f-f^2
\end{align*}
where $g$ is a smooth function on $M$ and $f\geq 0$ (in my case $f=|\phi|^2$ for $\phi$ a ...
-1
votes
1
answer
77
views
Applications and motivations of resolvent for elliptic operator
Let $ A(x)=(a_{ij}(x)):\mathbb{R}^d\to\mathbb{R}^{d\times d} $ be a matrix satisfying ellipticity condition, that is
\begin{align}
\mu^{-1}|\xi|^2\geq \sum_{i,j=1}^da_{ij}(x)\xi_i\xi_j\geq\mu|\xi|^2
\...
2
votes
0
answers
386
views
A general question about spectral methods vs finite element methods
According to this Wikipedia article:
Spectral methods can be computationally less expensive and easier to implement than finite element methods; they shine best when high accuracy is sought in simple ...
0
votes
0
answers
171
views
Explanation of a step in a preprinted work
I have been studying this preprinted paper and the references therein. I believe that there are some typos; However, since I am not an expert yet, I would like to make sure I am correct.
I do not ...
2
votes
1
answer
407
views
Leray projector in $L^{\infty}$ and negative order Besov spaces for the Navier-Stokes equations
I was reading the paper "Norm inflation for the generalized Navier-Stokes equations" which can be found here: https://arxiv.org/abs/1212.3801.
In Lemma 2.1, the authors said for any $\phi \in L^{\...
25
votes
1
answer
3k
views
Relationship between Green's function and geodesic distance?
I am interested in showing that a certain Green's function can be used to approximate the distance function on a Riemannian manifold in the following sense. Let $(M,g)$ be a Riemannian manifold and ...
4
votes
1
answer
164
views
Smoothness of critical elliptic problem
I am convinced I have seen results along the lines of: if $ u \ge 0$ is an $H_0^1(\Omega)$ solution of
$$-\Delta u = u^{q-1}$$ in $\Omega$ with $ u=0$ on $ \partial \Omega$ (here $\Omega$ is a smooth ...
1
vote
1
answer
203
views
Explanation of a step in a work by C. E. Kenig and A.D. Ionescu
I am studying the work
Ionescu, A. D.; Kenig, C. E., Local and global wellposedness of periodic KP-I equations, Bourgain, Jean (ed.) et al., Mathematical aspects of nonlinear dispersive equations. ...
2
votes
0
answers
45
views
Potential scattering for non-decaying potential
I am reading this note on potential scattering by Siu-Hung Tang and Maciej Zworski.
Just wondering if there is a scattering theory for the Schrödinger with a non-decaying potential $- \Delta + V$ on ...
3
votes
0
answers
190
views
$C^1$-regularity of solution of a Dirichlet problem
I've been stuck trying to hunt down a proof/reference for a certain regularity result which I need for my thesis (all the authors I've consulted refer to it as "well-known"). Consider the ...
7
votes
0
answers
216
views
Helmholtz decomposition of compactly supported fields
Let $\mathbf F$ be a smooth vector field in $\mathbb R^3$, which is null outside a finite compact domain $V$. By the Helmholtz decomposition theorem, there exist a scalar field $\Phi$ and a vector ...
11
votes
1
answer
550
views
Does the first Laplacian eigenfunction on a homogeneous space have a unique maximum?
For convex domains $\Omega \subset \mathbb{R}^n$ with Dirichlet boundary conditions, it's known that any first Laplacian eigenfunction is log-concave. In particular, it has a unique maximum.
These are ...
5
votes
1
answer
224
views
Spectral theory of infinite volume hyperbolic manifolds
I have a question about the discrete spectrum of the Laplace operator on hyperbolic manifolds with infinite volume. I understand the case of infinite area surfaces: see Chapter 7 (Sections 1 and 2) of ...
5
votes
1
answer
281
views
de Rham theorem for tempered distributions
I am wondering if the following statement holds.
If $u\in \mathscr{S}'$ satisfies $\left< u,\Phi\right>=0$ for all $\Phi \in \mathscr{S}$ with $\mathrm{div}\, \Phi=0$, then there exists $p\in \...
59
votes
9
answers
10k
views
Motivation for and history of pseudo-differential operators
Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...
30
votes
5
answers
3k
views
Looking for an interesting result on the Navier-Stokes equations
I am in my second year of master in Mathematics and one of my courses consists of a reading of Navier-Stokes Equations by Roger Temam. We have proven the existence for the weak Stokes and Navier-...
1
vote
1
answer
219
views
Does Newton-Leibnitz apply to Sobolev space
For a function $u\in W^{1,p}$, we always use a sequence of $C^1$ function to approach it and derive the consequences. However, can we just claim for a.e. x, y:
$$u(x)-u(y)= \int_0^1 Du(y+t(x-y))\cdot (...
2
votes
0
answers
171
views
Representation of heat kernel in general domains
I'm looking for results on the representation of the heat kernel in general domains. If $e^{-\Delta_{\Omega} t}$ denotes the heat semigroup in $\Omega$, we have to
$$ (e^{-\Delta_{\Omega} t}f)(x) = \...
1
vote
1
answer
134
views
Wave equation in $ \Omega\times(0,T) $
Let $ \Omega $ be a smooth bounded domain in $ \mathbb{R}^d $ and $ T>0 $ be a positive number. Consider the wave equation in the domain $ \Omega\times(0,T) $
\begin{align}
\left\{\begin{matrix}
\...
6
votes
1
answer
2k
views
Weak convergence in $H_0^1$ and strong convergence in $L^2$
I'm reading a hand-waving argument in a proof of Chapter 7 of Navier–Stokes Equations by Constantin and Foias. I would like to know if I understand it correctly.
Let $\Omega\subset{\mathbb{R}^n}$ be ...
1
vote
0
answers
39
views
Parabolic theory for singular coefficients on bounded domains (Reference Request)
In Evans, the theory for linear PDE of parabolic type with bounded coefficients is developed. There are nice results such as long-existence of weak solutions and the parabolic regularity theorems.
Is ...
1
vote
1
answer
161
views
About the continuity of the integral on the boundary of a ball
I’m considering a $H^1$ function u on a open domain D. Is the integral:
$$ \int_{\partial B_r(x)} u \hspace{2pt}dH^{n-1}$$
continuous with respect to x?
I tried to prove that it’s differential by ...
2
votes
1
answer
145
views
Estimate for an oscillatory integral of the first kind
I am confused in finding the right bound for the following oscillatory integral
$$I = \int_\mathbb{R} (\psi(2^{-k} \xi))^2 e^{i (y \xi - 3 \eta \xi^2 t)} d\xi.$$
Where $\psi(2^{-k} \xi)$ is a smooth ...
1
vote
1
answer
288
views
A problem arising from reading a lecture on the Yamabe problem of how the Hölder inequality is used
I'm reading Tawfik - The Yamabe problem: the PDE is
$$
\Delta \varphi+h(x) \varphi=\lambda f(x) \varphi^{q-1}. \label{1}\tag{1}
$$
Theorem (Yamabe). For $2<q<N=N=2 n /(n-2)$, there exists a $C^{\...
3
votes
1
answer
309
views
On a nonlinear wave equation
I am considering the following wave equation (for $\phi=\phi(x,t)$)
$$
\phi_{tt} - \Delta \phi = a |\nabla \phi|^2, \quad (x,t) \in \mathbb{R}^3 \times \mathbb{R}
$$
where $\nabla$ is just spatial ...
3
votes
0
answers
324
views
Would you help me to find this expression?
I'm studying a paper, which I'll include a small piece here. And I'm struggling to calculate
$$C_n\|u_{m,n}\|^{\left(\frac{2*}{2}\right)^k\frac{2*-q}{(r_k)^k}}_{L^{2*}(\Omega)}$$
Where $\Omega$ is an ...
2
votes
1
answer
246
views
Change of variable and boundary data for Laplace equation
Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem
$$
\begin{cases}
-\Delta u = 0 & x \in \Omega \\
u = 1 & x \in \partial \Omega
\end{cases}
$$
Does it make ...
2
votes
1
answer
225
views
Property about the fractional Laplacian
Let $s \in \mathbb{R}$ such that $0<s<1$. Consider the fractional Laplacian $(-\Delta)^s$ in the real line defined via Fourier series as follows: if $f:[-\pi,\pi] \subset \mathbb{R} \...
1
vote
0
answers
152
views
Poisson Kernel and solution formula for fractional elliptic problem
$$
k (-\Delta)^s u + u = 0, \qquad x \in U, \\
u(x) = f(x), \qquad x \in \mathbb R^n \setminus U,
$$
with $f \in L^\infty(\mathbb R^n)$, $k>0$, and $(-\Delta)^s$ is the singular integral ...
2
votes
1
answer
562
views
Solution existence in a pde system
If I have a smooth positive scalar function $f$ defined on a 2-dimensional manifold $M$, then $f:M\rightarrow (0, \infty)$, where the metric of $M$ is $g=\frac{dx^2+dy^2}{y^2}$, i.e., $M$ is Poincare' ...
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 ...
2
votes
0
answers
100
views
A log cut off function
Let $\Omega$ denote a bounded smooth domain in $R^N$ and consider $\Gamma$ a smooth subset (assume its some $k$ dimensional manifold where $k \le N-1$). Let $ \delta(x)=dist(x, \Gamma)$. On ...
2
votes
1
answer
75
views
Quotient of solutions of a semilinear Dirichlet problem is $L^\infty$
I posted this on MathStackExchange, but it hasn't even got 10 views, so probably it is better to post here. I hope it is not inappropriate.
I am reading a paper of Brezis and Oswald about existence ...
1
vote
0
answers
160
views
Generalized functional for solution of PDEs
Asked this on Math Stack Exchange awhile ago but it got ignored then deleted.
To solve a differential equation of one variable, you need constraints equal to the number of derivatives.
For a partial ...
1
vote
1
answer
177
views
Finite propagation speed for non-smooth solutions to nonlinear wave equation
Consider the semilinear wave equation in $[0,t_0] \times \mathbb R^d$ :
$$\square u = \pm |u|^{p-1}u$$
With subcritical/critical power $1 < p \leq \frac{d+2}{d-2}$.
It is easy to show by energy ...
4
votes
1
answer
343
views
Conditions for the existence of a solution to a semilinear second-order PDE with a-priori bounds
Consider the general semilinear elliptic second-order PDE
$$
u_t-\mathcal L u=f\left(t,x,u,\nabla u\right)
$$
where $\mathcal L$ is an elliptic linear operator (like minus the Laplace operator), $t \...
0
votes
0
answers
83
views
Partial derivative of the Bessel's operator
Let $J^s = (I- \Delta)^{\frac{s}{2}}$ where $\Delta$ is the Laplacian, and $w(x,y) \in L^2(\mathbb{T}^2)$. During my study to the paper, https://arxiv.org/pdf/1809.02027.pdf, the author stated that
$$\...
2
votes
0
answers
66
views
Existence of saddle points under a $C^0$-perturbation of a continuous function
Let $f:\mathbb{R}\to \mathbb{R}$ be a continuous function and has a strict maximum point $a$ and strict minimum point $b$. Define $g(x,y)=f(x)+f(y)$ and $h_\varepsilon(x,y)$ be a family of continuous ...
3
votes
0
answers
63
views
Liouville theorem for linear equation
Let $\Omega$ denote a an exterior domain in $R^N$ with smooth boundary.
I am interested in Liouville Theorems related to smooth solutions of
$$\Delta \phi(x) + \gamma \sum_{i,j=1}^N \frac{x_i x_j}{|x|^...
3
votes
1
answer
359
views
Solution or existence for a second-order semilinear PDE
Consider the following PDE:$$0=u_t+u_{yy}+u_{xx}+(x-y)u_y+y^{-\frac{3}{2}}u^2+1,$$ with $t \in [0,T], $ and a terminal condition $u_T=-1$ for all $x$ and $y.$ The domain for $x$ and $y$ can be bounded ...
2
votes
0
answers
111
views
Does the theorem in Sobolev spaces hold on the subset?
Here are some notations:
$W^{1,2}(\mathbb{R}^N)=H^1(\mathbb{R}^N)=\{ u\in L^2(\mathbb{R}^N) \,|\,\nabla u\in L^2(\mathbb{R}^N) \}$
$D^{1,2}(\mathbb{R}^N)=\{ u\in L^6(\mathbb{R}^N) \,|\, \nabla u\in L^...