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,467 questions
7
votes
2
answers
307
views
PDE for the probability of Brownian motion staying in an area (reference request)
I am looking for a (preferably some monograph) reference on the following fact:
$$
u ( t, x ) = \mathbb{P} \{ x + B_s \in A \ \text{for all} \ s \leq t \}
$$
satisfies the heat equation
$$
\frac{\...
CommunityBot
- 1
0
votes
0
answers
106
views
Using a theorem (which is originally set on 2-dim bounded domain in Euclidean space) on a torus
Actually I'm reading a paper on mean-field equation on torus by M.Struwe and G.Tarantello Here, they studied $$\tag{1}
-\Delta u=\lambda\left(\frac{e^u}{\int_{\Omega} e^u d x}-\frac{1}{|\Omega|}\right)...
- 869
5
votes
1
answer
246
views
An asymmetric quadrilinear estimate
Fix $1<p<2$ and let $a_{i}=1-\frac{\theta_{i}}{p^{\prime}}$
where $\theta_{i}\in (0,1/2)$, $i=1,2,3,4$, and $p^{\prime}$ is the conjugate exponent of $p$. Note here that $0<a_{i}=1-\theta_{i}+...
- 61.9k
0
votes
0
answers
55
views
Attenuation estimation of the solution of the $n$-dimensional wave equation Cauchy problem
This is the equation given ($n\geq2$)
$$
\begin{cases}
u_{tt}=a^{2}\left(\Delta u\right), \\
\left.u\right|_{t=0}=\varphi(x_1,\cdots,x_n ),\\
\left.u_{t}\right|_{t=0}=\psi(x_1,\cdots,x_n ) .
\end{...
CommunityBot
- 1
0
votes
1
answer
58
views
An expansion for 2d Euler equation
Let $R>0$ be a large constant, such that for any $x \in \Omega$, $\Omega \subset B_R(x)$. Consider the following problem in $\mathbb{R}^2$:
$$
-\varepsilon^2 \Delta u=1_{\{u>a\}} \text { in }\, ...
- 39k
0
votes
1
answer
117
views
How to understand the unique continuation result
Let $E$ be the closure of $C_c^{\infty}\left(\mathbb{R}^N\right)$ ($N \geqq 3)$ under the norm
$$
\|u\|_E=\left(\int_{\mathbb{R}^N}|\nabla u|^2\right)^{1 / 2}.
$$
Suppose $K(x) \in C^1\left(\mathbf{R}^...
- 12.9k
1
vote
0
answers
52
views
Continuity of the constant in maximal Sobolev regularity
Let $\Omega \subset \mathbb R^n$ be a smooth, bounded domain. For each pair $(p, q) \in (1, \infty)^2$, maximal regularity asserts that there is some $\widetilde K(p, q) > 0$ such for all $f \in L^...
- 63.9k
1
vote
0
answers
207
views
Specific type of PDE
While deriving the SHJB equation for a specific case I stumbled upon this (using Einstein's convention for repeated indices):
$$\rho J = (x_i \tilde u_i-K_i) + (\alpha_i + \beta_{ij}x_j - R_{ijk} \...
1
vote
0
answers
40
views
Is the average of two viscosity sub-solutions to linear elliptic equations is also a sub-solution?
Let $b\in C_b(R;R)$. Consider the following LINEAR equation on $R^2$:
\begin{equation}
u-\partial_{xx}^2 u + (b(x+y)-b(x)) \partial_y u=f\in C^\infty_c(R^2). \tag{1}
\end{equation}
Assume that $...
- 515
0
votes
1
answer
77
views
$L^\infty$ estimate for elliptic PDE with mixed boundary conditions
Take $\Omega$ to be a bounded smooth domain with boundary $\partial\Omega = \Gamma_1 \cup \Gamma_2$, where $\Gamma_1$ and $\Gamma_2$ are disjoint.
Consider the problem
$$\Delta u = f \quad\text{in $\...
- 16.2k
0
votes
0
answers
74
views
Elliptic regularity for Dirichlet problem
Let $\overline{M}=M \cup \partial M$ be a compact manifold with boundary, where $\partial M$ is the boundary of $\overline{M}$ and $M$ is the interior of $\overline{M}$.
Let $P$ be an injective ...
- 577
1
vote
1
answer
161
views
Linearized operator of higher order $p$ Laplacian
The $p$th Laplacian is defined as $-\Delta_pv= \text{div}(|Dv|^{p−2}|Dv|)$. My question is whether there are any analogous notions of $p$th $m$-Laplacian for $m$ even and odd. For the $p$th bi-...
- 4,713
5
votes
1
answer
108
views
Uniqueness of constructed solutions to the Helmholtz equation
My question is regarding the inhomogeneous Helmholtz equation on $\mathbb{R}^3$ with real wavenumber $k$ and outgoing radiation condition
\begin{equation}
\Delta u + k^2 u = - f \quad \text{and} \quad ...
- 1,422
0
votes
0
answers
79
views
Convergence of metric implies convergence of eigenvalues?
Consider the metric $g_\varepsilon=d\theta^2 + \varepsilon^2 \sin(\theta)^2 \, d\varphi^2$ on the hemisphere $S^2_+.$ I had two naive questions:
Does $g_\varepsilon$ converge to the flat metric on ...
2
votes
0
answers
245
views
Convergence of metric and eigenvalues on a tubular neighbourhood
Background:
Consider the sphere $S^2$ with the round metric $g$ and let $\gamma$ be one half of a great circle of length $\pi.$ Let $T_\epsilon$ denote a geodesically convex tube around $\gamma$ of ...
- 537
1
vote
0
answers
43
views
If a weighted Laplacian's eigenfunction is zero in an open set, when is it identically zero?
Let $m, s \in ([0, 1]^d \rightarrow \mathbb{R}_{\geq 0}$). Define a weighted Laplacian $\Delta_{m, s}f$ evaluated at $x \in [0, 1]^d$ to be:
$m(x) \cdot \text{div} ( s(x) \nabla f(x))$.
What ...
- 93
5
votes
1
answer
351
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 12.9k
1
vote
0
answers
86
views
Any theory on the elliptic operator $Lu=\Delta u + b_iu_i + cu$ when $c>0$
I wonder if there are theories on elliptic operator $$Lu=\Delta u + b_iu_i + cu$$ when $c>0$, when $c<0$, we are glad to have maximum principle, so the bijectivity can be easily analyzed, but I ...
- 809
0
votes
0
answers
65
views
To study the elliptic PDE on complex manifold, when can we treat it as the real case?
I wonder when studying the elliptic PDE on complex manifold, especially studying the existence of solutions, when can we directly study the real case, for example, when studying
$$\Delta_c u = f(x,u),$...
- 809
4
votes
1
answer
755
views
Bounds for associated Legendre polynomials
I am trying to analyze the behaviour of the Associated Legendre polynomials $P_{n}^{m}$ on $[0,1]$. More specifically, I am trying to get upper bounds for $P_{n}^{m}$ on $[0,1]$. Bernstein's ...
- 4,713
0
votes
1
answer
121
views
A simple bilinear estimate
Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that
$\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$.
Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$.
What is the optimal value of $t=t(\...
- 852
2
votes
0
answers
94
views
Non-selfadjoint operators and physical systems
There are plenty of examples of non-selfadjoint operators modelizing physical phenomena: to name a few, let's quote the the heat equation (\ref{HEAT}, see below), the Navier-Stokes system for ...
- 12.9k
1
vote
0
answers
60
views
Galerkin’s Method for hyperbolic PDEs: proving convergence without using compactness
Lawrence Evan's PDE book prove the existence of solution to the following problem where $L$ is an elliptic operator:
$$
\begin{cases}
u_{tt} = -Lu+f,\\
u|_{t=0} = u_0,\\
u|_{\partial U} = 0
\end{cases}...
- 1,755
12
votes
2
answers
5k
views
Where was/is Compensated Compactness used?
This last summer, I read up on Tartar's so called Method of Compensated Compactness (or at least how it applied to scalar conservation laws). I used this theory to prove the existence of $L^{\infty}$ ...
- 4,713
2
votes
2
answers
242
views
A Inequality in the paper by Kenig, Ponce and Vega
I was trying to read the appendix of the paper by Kenig, Ponce and Vega, "Well-posedness and scattering results for the generalized Korteweg-de Vries equation via the contraction principle",
...
- 9,007
2
votes
0
answers
63
views
A question about considering the solution of elliptic PDE with complex Laplacian as the critical point of a functional
I'm considering the elliptic PDE with complex Laplacian, for example, write $$
\Delta_c(\cdot):=-g^{i \bar{j}} \partial_i \partial_{\bar{j}}(\cdot),
$$
and $$\Delta_c(u)=f,$$
by [P.Gauduchon, Math.Ann,...
- 809
2
votes
0
answers
103
views
What $1$-forms $\theta$ solve $\Delta \theta = f\theta$ for a smooth function $f$?
I have a seemingly basic question that I cannot find any literature on. Let $(M,g)$ be a smooth Riemannian manifold and let $\Delta:\Omega^1(M) \to \Omega^1(M)$ be the Laplace-De Rham operator on $1$-...
CommunityBot
- 1
1
vote
2
answers
3k
views
Continuation of a smooth function
Setting
Suppose I have two bounded open domains $\Omega' \subset \Omega \subset \mathbb{R}^n$ (I'm particularly interested in case n = 2 or n = 3). We assume that all boundaries of domains are $C^\...
- 4,713
2
votes
0
answers
47
views
Growth/Decay of conformal Killing fields in cone metrics
Let $\gamma$ be a smooth metric on $S^2$ of positive curvature. Consider the metric
$$g= dr^2 + r^2 \gamma$$
on $[1,\infty) \times S^2$.
Does there exist a nontrivial conformal Killing field vanishing ...
- 969
2
votes
1
answer
128
views
On the existence of a complicated fractal-like set of finite perimeter
Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
- 28k
2
votes
1
answer
131
views
Gradient flows and particle representations
I was looking into gradient flows and their particle representations, mostly in the context of probability.
A simple example of this is the continuity equation. Consider evolving a sample $x \sim \...
- 188k
0
votes
1
answer
217
views
About the polynomial characterization of $C^{1,\alpha}(\bar{\Omega})$ Hölder space in Lipschitz domain
I have trouble proving the following statement regarding a characterization of $C^{1,\alpha}$:
Let $\Omega$ be a Lipschitz domain. $u$ is pointwise $C^{1,\alpha}$ at all points with the same constant $...
- 111
4
votes
2
answers
364
views
Nontrivial invariant transformations for heat equations
It is well known that if $u$ is a harmonic function on $\mathbb R^2$ then its Kelvin transform defined by
$$ v(r,\theta) = u(\frac{1}{r},\theta)$$
is also harmonic for $r>0$. Note that the Kelvin ...
- 4,143
1
vote
0
answers
109
views
PDE coupled with the pronic numbers (related to triangular numbers)
I am studying the linear PDE:
$$ t^2\frac{\partial^3}{\partial t^3}\sum_{n=1}^\infty \Psi_n(t,s)=s^2\frac{\partial}{\partial s}\sum_{n=1}^\infty \Psi_n(t,s)+\sum_{n=2}^\infty b(n)\frac{\partial}{\...
- 383
3
votes
0
answers
94
views
Harmonic heat flow, formal and rigorous
Let $ (M,g) $ be a smooth Riemann manifold without boundary, $ S^{n-1} $ is an $ n $-dimensional sphere, and $ T>0 $. Consider a weak solution $ u:M\times[0,T]\to S^{n+1} $ of
$$
\partial_tu-\Delta ...
- 519
2
votes
0
answers
203
views
Time reversal of infinite-dimensional SDE
Consider the SDE $${\rm d}X_t=b(t,X_t) \, {\rm d}t+\sigma(t,X_t) \, {\rm d}W_t,\tag1$$ where $b:[0,T]\times V\to H$, $\sigma:[0,T]\times V\to\operatorname{HS}(U_0,H)$, $$V\subseteq H\subseteq V^\ast\...
- 1
1
vote
0
answers
105
views
How using the standard Galerkin method
I am attempting to solve the following evolution problem using the standard Galerkin method
$$\begin{cases}
\dot y(x,t)=\Delta y(x,t) +b(t) \nabla y(x,t), \ (x,t)\in \Omega\times (0,T) \\
...
- 55
0
votes
0
answers
28
views
Metric entropy of mixed norm spaces with exponent-free bounds
Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
- 21
3
votes
0
answers
84
views
About the naturality of Krasnoselskii genus on Variational Methods
I have recently watched a seminar about Variational Methods from Mónica Clapp and she gave a very interesting motivation of why the Lusternik–Schnirelmann category (click on the link for the ...
- 131
3
votes
0
answers
80
views
Norm estimate for parabolic SPDE solution
When $X$ satisfies $${\rm d}X_t=\varphi_t{\rm d}t+\Phi_t{\rm d}W_t$$ on a Hilbert space $H$, where $W$ is a $Q$-Wiener process on a Hilbert space $U$, we know by the Ito formula that $$\|X_t\|_H^2-\|...
- 167
7
votes
2
answers
627
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
- 28k
3
votes
0
answers
110
views
A variant to the Stokes system and Navier-Stokes equation
The linearization of the Navier-Stokes equation (in a smooth bounded domain in dimensions 2 or 3) is the following non-stationary Stokes system
$$v_t+\nabla p=\Delta v+f,~\nabla\cdot v=g,$$
whose $W_p^...
2
votes
0
answers
176
views
Visualization of an oscillation lemma
How can one visualize Theorem 4.2 on page 31 of this paper by Seregin, Silvestre, Šverák and Zlatoš?
On the other hand, I have a clear visualization of a related result about how oscillation decay ...
- 4,219
3
votes
0
answers
126
views
On the linearized evolution equations in general relativity
The following puzzles me already for quite some time: In mathematical relativity, especially in the discussion of the Cauchy problem, one usually works in the so-called ADM-Formalism, in which one ...
- 1,429
4
votes
1
answer
279
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
- 24.2k
2
votes
0
answers
56
views
Fractional powers of Dirichlet-to-Neumann map to derive estimate for PDE
Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with smooth boundary $\partial \Omega= \Gamma$. For $u \in
H^{1/2}(\Gamma)$, let $U \in H^1(\Omega)$ denote the weak solution of
the ...
- 93
0
votes
1
answer
140
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
- 128k
6
votes
0
answers
220
views
Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized
Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
- 517
1
vote
0
answers
54
views
Using connection form for unknown frame field
I have a way to calculate the connection 1-form $\alpha$ associated to a compact simply connected parallelizable Riemannian surface $(M,g)$ (so, $M$ is topologically a disk) and a special orthonormal ...
- 11
7
votes
1
answer
531
views
Conformal Killing fields satisfy a third order PDE
Let $(M,g)$ be a $n$-dimensional Riemannian manifold with smooth metric $g$.
Proposition 3.2 in the paper "The Boost Problem in General Relativity" by O'Murchadha and Chistodoulou claims ...
- 39k