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
1
vote
2
answers
1k
views
Poisson Equation:Why the boundary regularity of the domain is important for the regularity of the solution?
Dear all,
giving a support class for PDE lecture i am wondering is there an easy argument for :
Why the boundary regularity of the domain important for the regularity of the solution of the weak form ...
- 1,256
1
vote
0
answers
124
views
Derive a SPDE of evolutionary type for $u$ from ${\rm d}X(t)=u(t,X(t)){\rm d}t+\xi(t,X(t)){\rm d}W(t)$
Let
$U$ and $V$ be separable $\mathbb R$-Hilbert spaces
$\iota:U\to V$ be a Hilbert-Schmidt embedding
$Q:=\iota\iota^\ast$
$(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $U$
$(\Omega,\mathcal A,\...
- 167
6
votes
1
answer
250
views
Time decay for Hartree equation with Coulomb potential
Are there any time-decay results for the solution of the Hartree equation
\begin{equation}\frac{1}{i}\partial_t\phi-\Delta\phi=-(|x|^{-1}\ast|\phi|^2)\phi,\quad x\in\mathbb{R}^3\end{equation} in $L^p$...
- 63
1
vote
1
answer
1k
views
weak derivative and continuous function
Let $\Omega \subset \mathbb{R}^n$ be a compact smooth hypersurface. Suppose $\varphi \in C_c^\infty(0,T; H^1(\Omega))$ is a $H^1(\Omega)$-valued test function (so $\varphi(t) \in H^1(\Omega)$ for each ...
- 107
5
votes
1
answer
1k
views
what is the essence of the blowup technique and bubbling analysis in PDE or geometric analysis?
when we use the blowup technique and bubbling analysis? what are the essence and pespective? could you give some examples to explain them or some reference？ thank you
- 199
2
votes
0
answers
110
views
If $f_j\to f$ in $L^1(\Bbb R^n)$ then $Tf_j\to Tf$ in $L^{1,\infty}(\Bbb R^n)$
Let's define $A:=\{f\in L^1(\Bbb R^n)\cap L^2(\Bbb R^n)\;:\;f\;\mbox{has compact support}\}$. So $A$ is dense in $L^1(\Bbb R^n)$.
Given then $f\in L^1(\Bbb R^n)$; by density there exists $\{f_j\}_j\...
user76025
1
vote
0
answers
345
views
maximum principle on compact manifolds with boundary
Let us consider the equation $Lu + f(u) = 0$ on a compact manifold $\overline{M} = M \cup \partial M$ with boundary, with Dirichlet boundary conditions. $L$ is a linear elliptic operator, and $f$ ...
- 11
2
votes
1
answer
1k
views
A question on the DeTurck trick
I am probably being obtuse here, but there is something in the DeTurck trick that I do not understand precisely. I was reading from Andrews Hopper, and they (on page 91) say that the equation $\frac{\...
- 21
2
votes
0
answers
223
views
One parameter family of elliptic equations
Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...
- 21
6
votes
1
answer
361
views
Local boundedness of weak solutions of heat equations...?
(Please, what is going on?) The following claim is from a paper which was apparently reviewed by László Erdös, Zhongwei Shen, and Bernard Heffler. Someone tell me it's true. Surely it's true. The ...
- 363
2
votes
0
answers
116
views
The composition of a dissipative operator and a positive operator is dissipative?
Consider the following bilinear system on a open and bounded domain $\Omega$
\begin{equation}
\left\{\begin{array}{r c l}
\displaystyle\frac{dy(t)}{dt} &=& Ay(t)+u(t)By(t)\\
y(0) &...
- 23
7
votes
1
answer
2k
views
A good reference for the wave front set
Hello,
I am wondering whether anyone know some good references for the theory of wave front set, microlocal analysis? I have some basic knowledge of distribution theory at the level of the Rudin's ...
- 1,649
8
votes
2
answers
1k
views
Methods for determining domains of influence
Given a hyperbolic PDE, the domain of influence of a spacetime point $x$, say $I_x$ though $x$ could be replaced by any set, can be defined in two ways. Lets call one of them geometric ($I_x^G$) and ...
- 21.6k
2
votes
2
answers
220
views
$L^\infty_\mathrm{loc}$ assumption in global existence for Boltzmann equation
In short:
In P. Gérard's paper on the existence of global solutions to the Boltzmann equation from 1988 (or equivalently Cercignani's book), why are the stated assumptions (especially $A_n \in L^\...
- 191
3
votes
0
answers
413
views
Continuously dependent on parameters [closed]
How do we check whether the solution is continuouly dependent on parameters?
Let $\Omega$ be a domain with smooth boundary. Say $f$ and $h$ are smooth. Assume that for each $\theta\in (0, 1]$, the ...
- 41
3
votes
0
answers
86
views
Books on turbulent compressible fluid (gas) in heated channel
It's been a while I got my hands dirty with simulation of hydrodynamics and it was mostly incompressible and laminar. Now, I need to model turbulent flow in channel with additional external heating ...
- 355
1
vote
1
answer
173
views
metric has morse index 2
I am reading Richard Schoen's classical example on the multiplicity of solutions of yamabe problem. He says on $S^1(T)\times S^{n-1}$, there exists a critical number $T_0$ such that if $T\leq T_0$, ...
- 711
4
votes
2
answers
2k
views
Elliptic regularity on bad domain
Let $\Omega \subset R^n$ be an open bounded set. Consider the Dirichlet problem
$$
-\triangle u = 0, x \in \Omega, \quad u = \varphi, x \in \partial \Omega.
$$
If $\varphi$ is a continuous function, ...
- 425
1
vote
1
answer
619
views
Map with prescribed Jacobian
Recently I came up with the following problem.
Suppose $U$ is an open subset of $\mathbb{R}^n$ and we are given a continuous map $M:U\to GL(n;\mathbb{R})$. Does anybody know if there are conditions ...
- 263
5
votes
0
answers
97
views
Explicit fundamental solution of a class of hypoelliptic operators
Good evening,
my question is as follows:
Suppose we are given an operator $$L=a_1x_n\partial_{x_1}+\dotso+a_{n-1}x_n^{n-1}\partial_{x_{n-1}}+\partial_{x_n}^2,$$ for some nonzero constants $a_1,\...
- 277
5
votes
0
answers
205
views
Steklov averages in PDE: what to do when we have time-dependent elliptic operator
One may have an equation (with boundary conditions omitted below)
$$u_t - Au = f$$
$$u(0)=u_0$$
which has a weak solution $u \in L^2(0,T;V) \cap C([0,T];H)$ in the sense that
$$-\int_0^T \int_\Omega u(...
- 91
4
votes
0
answers
131
views
Well-definedness on $C_{0}^{\infty}(\mathbb{R}^{n})$
Let $T$ be a Calderon-Zygmund operator associated to a Calderon-Zygmund kernel $K\in CZK_{\alpha}$ of order $\alpha>0$ and $b\in BMO(\mathbb{R}^{n})$. Then for $f\in C_{0}^{\infty}(\mathbb{R}^{n})$ ...
- 355
1
vote
1
answer
163
views
How to prove the Hölder continuity of a function $u$ by evaluating $\int_{B_{\rho}(x_0)}\frac{|Du(x)|^{2}}{|x-x_0|^{n-2}} dx$?
I'm looking at a video on thin obstacle problem given by Arshak Petrosyan.
In his lecture, he uses the following results:
Let $0<\alpha<1$, and $B_1$ be the unit ball centered at origin in $\...
- 1,350
3
votes
1
answer
125
views
Getting an estimate of the form $\lVert u(t+h)-u(t) \rVert_{L^1(\Omega)} \leq \frac{Ch}{t}$ on solution of PDE
Let $u$ be a weak solution (i.e. $u \in C([0,T];L^1(\Omega))$ of some degenerate or nondegenerate parabolic equation $u' - Au = f$ on a bounded domain. (For my purpose it is enough to have this for ...
- 51
1
vote
3
answers
258
views
Harmonic Function with special property
I would appreciate any help with the following problem:
Let $(M,g)$ be a 3 dimensional Riemann manifold with boundary. Let $ \Gamma $ be a surface of sufficient regularity dividing M into two ...
- 4,115
5
votes
1
answer
359
views
Green's function for *GJMS* operator
Consider a Riemannian manifold $(M^n, g)$ of dimension $n$ with a metric $g$. We assume $M$ to be closed (compact without boundary). Let's not assume any hypothesis on the Yamabe invariant of the ...
- 327
3
votes
1
answer
398
views
Elliptic Fourier integral operators
I know what it means for a pseudodifferential operator $A\in\Psi(\mathbb{R}^n)$ to be elliptic at a point $(x,\xi)\in T^*\mathbb{R}^n$: the principal symbol of $A$ is non-vanishing at the point.
But ...
- 31
0
votes
1
answer
115
views
Reference request for the focussing example
I was reading "From Rotating Needles to Stability of Waves: Emerging Connections between Combinatorics, Analysis, and PDE" by Terence Tao, which is a Notice of the American Mathematical Society Vol. ...
user71046
1
vote
1
answer
680
views
Harmonic function defined on a cone
It's well known that: Given a continuous function defined on the boundary of the disk, then there exists a unique harmonic function in the interior of the disk. What if we replace the disk by a cone?
...
- 689
1
vote
1
answer
188
views
"Schwarz symmetrization" on annulus
If $\Omega=\{x\in \mathbb R^n| 0<r_0<|x|<r_1\}$ is an annulus on $\mathbb R^n$, I am looking for a symmetrization result on $\Omega$. To be precise, for any $u \in W_0^{1,2}(\Omega)$, can we ...
- 1,441
3
votes
1
answer
703
views
unique continuation property for overdetermined elliptic PDE
On a closed manifold $M$, let $P(f)=0$ be a linear overdetermined elliptic system of PDE of 2nd order with smooth coefficients. By overdetermined ellipticity, I mean the principal sympbol is injective....
- 31
4
votes
1
answer
393
views
Bounding $\lVert{u}\rVert_{C^0([0,T];V)} \leq C\left(\lVert{u}\rVert_{L^2(0,T;V)} + \lVert{u'}\rVert_{L^2(0,T;H)}\right)$?
Define $W(X,Y) = \{ u \in L^2(0,T;X) \mid u' \in L^2(0,T;Y)\}$
where $u'$ is the usual weak derivative.
Let $V \subset H \subset V^*$ be a Hilbert triple. If $u \in W(V,V)$ (so $$u \in L^2(0,T;V) \...
- 193
2
votes
0
answers
514
views
Half Laplacian; (definitions of) and regularity
I have a question regarding the half Laplacian $ (-\Delta )^\frac{1}{2}$ on some smooth bounded domain $ \Omega$ in $R^N$. I am attempting to clarify some confusion with the various definitions. ...
- 539
3
votes
0
answers
250
views
Reference/proof for parabolic Holder spaces property
Suppose that a function $u:[0,1]\times[0,T]\to\mathbb{R}$ belongs to the parabolic Holder space $C^{2+\alpha,1+\alpha/2}$, for $\alpha\in(0,1)$.
What can be said about $u_x=\partial_x u$?
I am not ...
- 1,309
1
vote
0
answers
94
views
How are the two definitions of hyperbolic PDEs related
There are two common definitions of hyperbolic PDEs:
The first one is commonly found in introductory courses on PDEs and states that second-order (quasi-)linear PDEs are hyperbolic if, for an ...
- 21
0
votes
0
answers
170
views
A priori estimate for diffraction problem for linear elliptic PDEs
I am looking for a reference to show how to obtain a priori estimate of the solution $u\in H^1$ and $u\in C^{2,\alpha}$ to the diffraction problem of linear elliptic equation.
I looked at ...
- 133
3
votes
0
answers
107
views
A priori $C^0$ estimates for a semi-linear vector Poisson equation
Main Question
Consider a $C^2,H^2$ map $F:\mathbb{R}^m \to \mathbb{C}^n$ which satisfies the following equation:
$$
-\Delta F(x) + \sum_i a_i(x)\nabla_iF(x) + B(x)F(x) + |F(x)|^2F(x) = 0
$$
Here $a_i:...
user34072
4
votes
2
answers
249
views
hodographic transformation
Let $\phi(x,t)$ be smooth function.
Let $\zeta= x-t$ and $\eta= x+t$. $u=\phi_\zeta$, $v= \phi_\eta$.
Let $u$, $v$ satisfies following equations:
1-
$$u_\eta- v_\zeta= 0$$
$$v^2u_\zeta-(1+2uv)u_\...
- 541
1
vote
1
answer
499
views
semiclassical principal symbol
What is the semiclassical principal symbol $\sigma_h$ of the operator $h^2\Delta-1$ (here $\Delta=-\sum_j\partial^{2}_{x_j}$)? $h^2\Delta-1$ is a second order semiclassical partial differential ...
- 53
0
votes
0
answers
176
views
For a solution of an elliptic equation, if it is 0 on an open subset, then is it 0 identically?
Let $X$ be a compact smooth manifold, $E, F$ be smooth complex vector bundles over $X$, $L$ an elliptic operator between smooth sections of $E$ and of $F$. Suppose $s$ is a section of $E$ such that $...
- 1,906
1
vote
1
answer
275
views
Laplacian on space of measures
Let $X$ be a compact Riemannian manifold and let $\mathcal{M}(X)$ be the space of regular finite Borel measures with the total variation as norm.
The Laplace-Belrami-Operator $\Delta$ on $X$ with ...
- 9,853
1
vote
0
answers
158
views
On the differentiability of a certain map from $ (0,\infty) $ to $ \Bbb{R} $
This problem arose from my study of energy-conservation for non-linear Schrödinger equations. Suppose that we have the following data:
$ u \in C^{1} \! \left( (0,\infty),{L^{2}}(\Bbb{R}^{n}) \right) $...
- 1,396
-1
votes
1
answer
457
views
Why can't I get global existence to linear PDE in this way? [closed]
For any $n > 0$, standard theory implies there is a unique $u_n \in L^2(0,n;V)$ with $u_n' \in L^2(0,n;V^*)$ such that
$$u_n' + Au_n = f\quad\text{as an equality in $L^2(0,n;V^*)$}$$
$$u_n(0) = u_0$...
1
vote
1
answer
956
views
Sobolev Embedding Theorems
I am getting a little confused about the huge number of slight variations on the Sobolev Embedding Theorem.
Let $\Omega\subseteq\mathbb{R}^n$ be a bounded Lipschitz domain and suppose that $f\in L_\...
- 3,217
6
votes
2
answers
668
views
Implications of a hypothetical blow-up of Navier-Stokes for the mathematical model
Let us suppose that there exists a (initially smooth) solution of NSE that blows up in finite time. Then, in particular, the corresponding velocity field becomes unbounded as time progresses. Which ...
1
vote
1
answer
443
views
The comparison between the square of the functional value and the sum of squares of the $L^2$ norms of function and its Laplacian
I was reading a paper where I came across the following argument :
For any $x$ in $M$ and for a geodesic ball $B(x; \varepsilon)$ in a compact Riemannian
manifold $M$ with injectivity radius bigger ...
- 1,471
4
votes
2
answers
2k
views
Euler-Lagrange, Gradient Descent, Heat Equation and Image Denoising
For a image denoising problem (below):
http://www.bekirdizdaroglu.com/ceng/Downloads/ISCE10.pdf
the author has a functional E defined
$E(u) = \int\int_\Omega F \\ d\Omega$
which he wants to ...
- 103
-1
votes
2
answers
441
views
Motivation for weak solution of a PDE (initial condition)
The following question came to me when reading the famous paper of ALT and LUCKHAUS: "Quasilinear elliptic-parabolic differential equations"
When looking at a (nonlinear degenerate) PDE like
$$ \...
- 1
3
votes
1
answer
283
views
Extension of Sobolev Functions
Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$
be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$
of the form
\begin{...
- 31
3
votes
1
answer
496
views
Inequality in the Sobolev space $H^1$
I've found the following inequality
$$\int_{B_r}\vert u\vert^q\leq C \bigg(\int_{B_r}\vert\nabla u\vert^2\bigg)^{a}\bigg(\int_{B_r}\vert u\vert ^2\bigg)^{\frac{q}{2}-a}+\frac{c}{r^{2a}}\bigg(\int_{B_r}...
user45822