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
0
votes
0
answers
249
views
How can we formulate maximal time $T$ in Hyperbolic Kahler Ricci flow
In general, the exact maximal time $T$ of a Riemannian Ricci flow may not be easy to find. However, fortunately, for Kähler-Ricci flows, the maximal time of existence $T$ is explicitly determined by ...
1
vote
0
answers
291
views
Laplacian type operator on compact Lie group
Consider the operator $S = \sum_{i,j} X_{ij}^2$ on $L^2(SO(n+1))$, where $X_{ij}$ generates the rotation of the sphere $S^n$ in the $ij$-plane keeping the $(n - 2)$ complementary directions fixed. ...
2
votes
0
answers
108
views
Uniform upper bound for dim of kernel and codimension of range of certain familly of PDE
A polynomial vector field of degree $n$ on $S^{2}$ is the Poincare compactification of a $n$ degree polynomial vector field on $\mathbb{R}^{2}$.It is a real analytic vector field on $S^{2}$ which ...
1
vote
0
answers
77
views
Recursive formula for symbol of resolvent on noncompact manifold
On a compact Riemannian manifold $(M,g)$ without boundary it was shown (by R. Seeley) how to define the complex power of an elliptic classical pseudodifferential operator $A$ of positive order $m$: ...
3
votes
1
answer
603
views
Density of $H^{1/2}(\partial \Omega)$ in $L_2(\partial\Omega)$
Hi,
i know that the following statement is used extensively, but i cannot find a proof anywhere:
For $\Omega$ a Lipschitz domain with boundary $\Gamma$, the space $H^{1/2}(\Gamma)$ is dense in $L_2(\...
1
vote
0
answers
164
views
How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?
(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
2
votes
0
answers
186
views
Changing the test function space in a weak formulation of parabolic PDE
Suppose we are interested in the existence of a $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V^*)$ such that
$$(u(T),\varphi(t))_H -\int_0^T \langle \varphi'(t), u(t) \rangle_{V^*,V} + \int_0^T a(u(t),\...
0
votes
2
answers
180
views
A basic question about JL Lions' transformation of a Stefan problem
In J.L Lions' book "Quelques méthodes de résolution des problèmes aux limites non linéaires" (page 196), the author considers a two-phase problem with moving boundary separating the interface. The ...
1
vote
0
answers
99
views
decomposition of tempered distributions by entire analytic functions
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: |\xi|\leq 2, \phi(\xi)=1~~\text{if}~|\xi|\leq 1\}$$
Let $j\in \mathbb N$ ...
1
vote
0
answers
62
views
Reference request - Compact embedding of intermediate space
Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...
1
vote
0
answers
134
views
Comparison principle using truncation for porous medium equation
For a porous medium equation (eg. $u_t - \Delta \Phi(u) = f$), is it possible to obtain a comparison principle for very weak solutions (eg. if $u_0 \geq 0$ and $f \geq 0$ then $u \geq 0$ a.e.) using ...
4
votes
1
answer
267
views
variation of the obstacle in the obstacle problem
Suppose $D \subset \Bbb C$ with smooth boundary. Let $f \in C^{1,1}(D)$. Let $\varphi$ be the supremum of all members in the set
$$\lbrace g \in C^{\infty}(\overline{D})| g \ is \ subharmonic \ and \...
2
votes
0
answers
142
views
Holder continuity of Poisson equation with divergence free drift
I am interested in the following PDE.
Suppose $u_m$ is a smooth solution of a elliptic equation of the form
$$ -\Delta u_m(x) + a_m(x) \cdot \nabla u_m(x) = f_m(x) \qquad B_1 $$ with $ u_m=0 $ on $\...
1
vote
0
answers
82
views
boundedness of a sequence $ \in L^{\infty}(I,H^1(M))\cap Lip(I,L^2(M))$ implies that its temporal derivative is bounded as well [closed]
Hi I have the next claim which I would like to find a proof of it.
I have a sequence of functions $u_\epsilon(t,x) \in H^1(M)$ where $M$ is a compact manifold, and $u_\epsilon \in L^\infty(I,H^1(M))\...
1
vote
0
answers
33
views
Regularity of boltzmann-grad limit and time restriction in Lanford's theorem
I have two questions related to the Lanford's theorem, wich states the convergence almost everywhere (as $N\longrightarrow\infty$, for a short time and under a decay assumption on speed) of the first ...
2
votes
0
answers
83
views
How analyze the following fully nonlinear equation
Now I want to consider the following pde
$u_t(x,t)=\sigma(x,t)(1+|D_xu(x)|^2)^{1/2}$, with initial condition $u(x,0)=g(x)$ which is analytic, and on domain $D\times \mathbf{R}^{+}$, $D\subset \mathbf{...
3
votes
0
answers
283
views
Examples of non-uniqueness in reaction-diffusion equations
Consider the problem of finding a bounded classical solution $u:\mathbb{R}\times [0,T]\to\mathbb{R}$ (such that $u$ is continuous and $u_t$, $u_x$ and $u_{xx}$ exist and are continuous on $\mathbb{R}\...
2
votes
2
answers
429
views
Seminorms in sharp Garding's inequality
When working with symbols of limited regularity, what is exactly the number of seminorms of the symbol $Re (a) \geq 0$ that one needs in the sharp Garding's inequality:
$Re \langle a(x, D) u, u \...
0
votes
2
answers
637
views
A hyperbolic PDE with infinite boundary conditions
Given known functions $a(x,y)$ and $b(x,y)$, I have a linear, second-order, hyperbolic PDE for a surface $z(x,y)$. The PDE is of the form:
$z_{xx} - a^2 z_{yy} + ab z_x - b z_y = 0$.
The PDE does not ...
3
votes
2
answers
175
views
Decay rate of nonlocal differential operator?
Hi, Moers.
Let $m(\xi) \in S^0$, that is,
$$
|D^\alpha m(\xi)| \leq C<\xi>^{-|\alpha|}, \quad \forall \xi \in R^n.
$$
It's well known that $m(D)$ is bounded in $L^p$ for $1 < p < \infty$.
...
1
vote
1
answer
141
views
metric scaling for an inequality
I read a lemma 1.12 in Tobias H.Colding's paper "Ricci curvature and volume convergence"."Suppose that $Ri{c_{{M^n}}} \ge \left( {n - 1} \right)\Lambda {R^{ - 2}}$,p and $q \in M$ with d(p,q)>8R,and ${...
2
votes
0
answers
37
views
Numerical test for unique continuation principle
Is there any numerical algorithm to test the unique continuation principle for the elliptic or parabolic equations?
Thank you very much.
1
vote
1
answer
385
views
Reference for: $C_c^\infty(0,T;H)$ dense in $L^2(0,T;H)$
If it is true, where may I find a reference/proof for:
$C_c^\infty(0,T;H)$ dense in $L^2(0,T;H)$
where $H$ is a Hilbert space.
Thanks
0
votes
1
answer
103
views
harmonic maps from cone to $S^2$ locally lipschitz?
Are the harmonic maps from a 2-dimensional cone to $S^2$ locally lipschitz or Holder continuous?
0
votes
0
answers
607
views
partial differential equations with mixed boundary conditions
hi,
does anyone know some good references (books, papers) on partial differential equations with mixed boundary conditions ?
actually I am intrested in the following: Let $f(x)=(f_{1}(x),...,f_{n}(...
1
vote
0
answers
123
views
$L^p$ norm of solution to porous medium equation decreases in time: how to make formal calculation rigorous?
Let $u \in C^0([0,\infty);L^1(M)) \cap W^{1,1}_{\text{loc}}((0,\infty);L^1(M))$ with $u(t) \in H^1(M)$ for a.e. $t$ be the solution of the porous medium equation $\dot u = \Delta (u^m)$ on a compact (...
2
votes
1
answer
267
views
Fourier transform and spectrum of PDOs in $L^p$
Let $K$ be a compact subset in $\mathbb{R}^n$ with $m(K)=0$, Suppose $supp\hat{u}\subset K$ for some $u\in L^p$,where $2\leq p\leq \frac{2n}{n-1}$,can we get $u\equiv 0$ ?
Motivation: If $K$ is a ...
1
vote
0
answers
168
views
Estimates on gradients of diffusion semigroups
Consider the Dirichlet or Neumann Laplacian on a manifold with boundary. Suppose we have some estimate of the form
$$||e^{t\Delta} f||_{L^p} \leq C(t)||f||_{L^q}$$ for some $p, q$. For a specific ...
2
votes
1
answer
106
views
Conditions for existence of $m$-th differentiable root of a non-negative definite matrix
In M.I. Friedlin's famous paper "On the Factorization of Non-Negative Definite Matrices", he shows that if a non-negative definite symmetric matrix $a(x)=\{a^{ij}(x)\}_{i,j=1}^n$ is in $C^2(\mathbb{R}^...
1
vote
1
answer
227
views
Double series solution of wave equation
Let $u(x,y,t)$ be the solution of wave equation $u_{tt}=u_{xx}+u_{yy}, 0\lt x\lt 1, 0\lt y\lt 1, t\ge 0,$ $u(x,y,0)=(x-x^2)(y-y^2), u_t(x,y,0)=0$ and $ u(x,y,t)=0$ on the boundary of the square. Then
...
2
votes
0
answers
285
views
Equation of motion of a charged string in a twisted torus.
The flat torus background:
Say we want to study the sigma model of strings (closed strings $S^1= \mathbb{R}/\mathbb{Z}$) on a flat torus (for example $T^3=\mathbb{R}^3/\mathbb{Z}^3$ with a flat ...
4
votes
1
answer
836
views
Invertibility of the Laplacian
Consider the Laplacian as an operator $\Delta\colon W^{2,p}(\Omega)\subset L^p(\Omega)\to L^p(\Omega)$ subject to homogeneous Robin boundary conditions, where $\Omega\subset \mathbf R^n$ is either ...
2
votes
0
answers
132
views
Approximating a superharmonic function, by smooth superharmonic functions
Let $\Omega\subset\mathbb{R}^N$ be a bounded smooth domain. Assume that $u\in W_0^{1,2}(\Omega)$, $u\ge 0$ and $-\Delta u\ge 0$ in the sense of distributions ($u$ is superharmonic).
The standard ...
1
vote
0
answers
146
views
Boundary gradient estimate
Assume $U$ is the unit disk and $\bar U$ its closure and let $u\in C^2(U)\cap C(\bar U)$ be a real function, with $u(z)=0$ for $z\in \partial U$. If $$|\Delta u|\le A|\nabla u|^2+g(z),$$ for some ...
1
vote
2
answers
106
views
Bound deg 3 partial differential operator on Laplace eigenfunction?
I am no expert on PDE and analysis but I am looking for certain technique from PDE.
Let $D_2$ be the Laplace operator and $f$ is an eigenfunction, i.e., $D_2 f=\lambda f$ for some $\lambda>1$. (or ...
1
vote
0
answers
503
views
Relation between interpolation spaces and besov spaces
Consider the following two norms:
The interpolation norm:
1) $\|u; [L_2,\dot H_1^{\infty}]_{1/3,\infty}\| := \sup_{s > 0} \inf_{u=u_0+u_1} \frac{\|u_0\|_{L^2}}{s^{1/2}} + s \|\partial_x u\|_{L^{\...
2
votes
1
answer
365
views
Are there any physical phenomena of the heat transfer critically depending on diffusion coefficient?
Hello,
I am considering the following non-linear heat equation
$$
\left(\frac{\partial}{\partial t}-\nu\: \Delta \right) u(t,x) = F(t,x) \sigma(u(t,x)),\qquad (t,x)\in R_+\times R^d
$$
where $F(t,x)$...
2
votes
0
answers
115
views
Solve a PDE related to free boundary problem
I would like to solve the following system for my problem:
$$\max\Big(\frac{1}{2}u_{ss}+u_l\delta(s-s_0), F(l)-\lambda(s)-u(s,l)\Big)=0.$$
where $u=u(s,l): R\times R_+\to R$ is the unknown function ...
1
vote
0
answers
530
views
Inconsistency in definition of characteristics for a linear PDE? Folland versus Fritz John.
There seems to be a major inconsistency (perhaps due to my lack of understanding) between what Folland calls a "characteristic" and what I had previously thought was a characteristic.
For example, ...
4
votes
1
answer
471
views
Embeddings for spaces of maximal regularity
Let $T\in(0,\infty)$ and $\Omega\subset\mathbb R^n$ be a smooth domain. In terms of maximal regularity it can be very beneficial to know for which $s_i,p,n$ the following holds true
$W^{s_1,p}(0,T;L^...
2
votes
1
answer
253
views
How to compute the first eigenvalue of hyperbolic space ${H^2}$and ${H^n}$?
How to compute the first eigenvalue of hyperbolic space ${H^2}$and ${H^n}$?
1
vote
1
answer
154
views
A nonlinear initial-boundary value problems with Taylor expansion of parameter [closed]
Let $u(x,t; \epsilon)$ satisfy the nonlinear initial boundary value problem
$$
u_{tt} = (u_{x} + u_{x}^3)_{x} + u_{xxt}, \space 0 \lt x \lt 1
$$
$$
u(0,t) = 0 \\
u(1,t) = 0 \\
u(x,0) = \epsilon f(x) \...
1
vote
0
answers
90
views
Measurability of solution of diffusion equation in sub sigma algebra
I want to solve the following problem:
Get $\omega \in \Omega \subset \mathbb{R}$, $x \in D \subset \mathbb{R}^2$ and $0<a_i\leq a(.,.)\leq a_x<\infty$.
Let $a( x;. )$ and $f(x;.)$ be $\...
2
votes
1
answer
253
views
A question on Schwartz distributions
I have a question on the tempered distributions, namely, continous functionals on Schwartz class endowed with the weak* topology. Is is a Barreled space, say, a space whose convex, balanced, ...
2
votes
1
answer
2k
views
Poisson equation with special Neumann BC
Hi
Consider Poisson equation with Neumann boundary condition but the right hand side of boundary condition is in term of the unknown function $u$.
How we can solve it?
$\Delta u(x) = f(x)\quad in~ \...
3
votes
0
answers
725
views
Open sets and Poincaré's inequality
In many references, Poincaré inequality is presented in the following way :
Let $\Omega\subset \mathbb R^d$ an open bounded set. We can find a constant $C$ which depend of $\Omega$ such that for ...
1
vote
0
answers
102
views
presence of turbulent phenomena in systems of linear pde?
Are there linear systems of PDE that are known to have solutions which exhibit turbulence, or can turbulence be firmly classified as a fundamentally non-linear phenomenon, similar to solitons or shock ...
2
votes
1
answer
2k
views
The normal derivative of the Green's function
I was wondering if anything was known about the following:
Let $\mathbb{D}^2=\lbrace x^2+y^2< 1 \rbrace \subset \mathbb{R}^2$ be the open unit disk.
Consider now the Green's functions $G(z; p)$ ...
1
vote
1
answer
361
views
Help with what is most likely an easy PDE
Hi! I ran into this PDE working on a question in cake cutting. Here it is:
$x\partial_1f(x,y)-(1-x)\partial_2f(y,x)=0$
for all $(x,y) \in [0,1]\times[0,1]$.
Thanks!
2
votes
1
answer
327
views
Solvability of a nonlinear elliptic equation
Hi, let $\Omega \subset R^3$ be a bounded smooth domain, consider the elliptic equation
\begin{equation}
-\triangle u + u^2div u = f, \quad x \in \Omega, \quad u\big|_{\partial \Omega} = 0.
\end{...