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
0
votes
1
answer
104
views
Operator identity for convergent series
Let $T_i$ and $S_i$ be a sequence of bounded operators such that
$$ \sum_{k,i,j=0}^{\infty} S_j^* T_i^* T_i S_k$$ converges unconditionally in operator norm on some Hilbert space. The limit is then ...
0
votes
1
answer
240
views
What is the Newtonian Capacity of a subset of $S^n$?
In their paper "Conformally flat Manifolds, Kleinian Groups and Scalar Curvature", Schoen and Yau repeatedly use the term "Newtonian capacity" for a subset of $S^n$.
I know the following definition: ...
- 9,853
0
votes
1
answer
112
views
Explicit solution for one-dimensional Gelfand problem
I wonder if the ODE
$y''+e^{y}=a$
can be solved explicitly. For $a=0$, it is well-known that there is a two-parameter family of explicit solutions
$y=\ln(2)-2\ln(\cosh(cx+d))+2\ln(c)$, $c,d \in R$...
0
votes
2
answers
594
views
$L^p$ estimates for elliptic equation of divergence form
Consider the scalar elliptic equation of divergence form
$$div((1+a)\nabla\pi)=div F\ \ in\ \ R^3,$$
where $a$ is a Schwartz function with $1+a\geq c=const>0$, $F=(F_1,F_2,F_3)$ is a vector-valued ...
- 78
0
votes
1
answer
843
views
$C^{\infty}_{loc}$-convergence - right definition
Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
- 35
0
votes
1
answer
94
views
A $W^{1,2}_{loc}$ function with uniformly bounded integrals on compact subsets $W^{1,2}$?
Let $M$ be a Riemannian manifold, $\Omega\subset M$ is an open subset, let $f\in W^{1,2}_{loc}(\Omega)$ with uniformly bounded integrals on compact subset, i.e. there exists a $C>0$, such that for ...
- 109
0
votes
1
answer
92
views
Boundary behaviour of a second order pde with characteristics
Good morning everybody. My question is inspired from the following fact:
Consider $\mathbb R^3$ endowed with coordinates $(x,y,z)$. Of course if we were to solve the second order pde $\partial_x^2 g(...
- 277
0
votes
1
answer
208
views
A question on the integrability of eigenfunctions of the Laplacian
Let $(M,g)$ be a closed Riemannian manifold. Let $\lambda$ and $u$ be (the $k$-th) eigenvalue and eigenfunction,
$$\Delta u=-\lambda u.$$
I was wondering under what condition (for example, spaces ...
- 399
0
votes
1
answer
332
views
Sobolev's lemma on manifolds
Let $M$ be a n-dimensional closed submanifold in $\mathbb{R}^m.$ I was looking for a version of Sobolev's lemma saying that for $f \in {W}^{k,2}$ we find a representative of $f \in C^{r}$ satisfying $...
- 3
0
votes
1
answer
194
views
Uniform $L^p-L^{p'}$ bound of a Fourier multiplier
Let $(\tau,\xi)\in\mathbb{R}\times \mathbb{R}^n$, and consider the function
$$
m_{\epsilon}(\tau,\xi)=\frac{1}{\tau+|\xi|^4+\epsilon|\xi|^2+i}
$$
in $\mathbb{R}^{n+1}$. My first question is that does ...
- 879
0
votes
1
answer
156
views
Prove a function, defined by integration of a harmonic function, is log-convex [closed]
Let $u$ be a harmonic function and we define
$$ q(r)=\int_{\partial B(0,r)}u^2(x)\,dx $$
The question is about to prove that $q(r)$ is log-convex, i.e., I want to show $\log q(r)$ is convex function ...
- 679
0
votes
1
answer
246
views
Matrix equation
Let $A$ be $k\times n$ matrix i.e., $A=(a_{1},\ldots, a_{n})$ where $a_{j} \in \mathbb{R}^{k}$, $rank(A)=k$ and $1\leq k \leq n$. Let $q=(q_{1},\ldots, q_{n})\in\mathbb{R}^{n}$ be such that $0<q_{j}...
- 3,946
0
votes
1
answer
631
views
Green's function and eigenvalues with multiplicity
Green's function of a differential operator contains a lot of information of that operator. In particular, if we have a differential operator on a compact manifold with discrete spectrum, then Green's ...
- 587
0
votes
1
answer
130
views
Positive inuequality of Laplacian with a variable coefficient [closed]
Let $0 < a_0 \leq a(x)$ be a smooth function on $\mathbb{T}=[0,2\pi]$, $a(0)=a(2\pi)$, whether it holds that
$$
\int_\mathbb{T} a(x)|\partial_x \varphi|^2 \geq \int_\mathbb{T}\frac{\partial^2_x a }...
- 425
0
votes
1
answer
100
views
properties of frequency-uniform decomposition operator $\square_{k}^{\sigma}$
Let $\rho \in S(\mathbb R^{n})= \text{Schwartz space}, \ \rho:\mathbb R^{n}\to [0,1]$ be smooth radial function verifying $\rho(\xi)=1$ for $|\xi|_{\infty}\leq \frac{1}{2}$ and $\rho(\xi)=0$ for $|\...
- 1,051
0
votes
1
answer
475
views
uniqueness for Poisson equation in R^d with mildly regular data
I'm interested in Poisson's equation $-\Delta u=f$ set in the whole space $R^d$ (let's say $d\geq 3$ for simplicity) when $f$ has very little integrability, specifically $f\in L^{1+\varepsilon}$ for ...
- 5,380
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?
- 689
0
votes
1
answer
291
views
Application of Toms- Stein restriction theorem for Strichartz estimates
The initial value problem for one dimensional Shrödinger equation is
$$iu_{t}+u_{xx}=0,$$
$$u(x, 0)= f(x),$$
where $u:\mathbb R \times \mathbb R \rightarrow \mathbb C$ is a complex valued ...
- 1,051
0
votes
1
answer
236
views
analytic solution to elliptic PDE in R^n
I am looking for (minimal) conditions, which guarantee that the problem
Lu = 0 in R^n,
where L is a second-order (uniformly) elliptic operator with analytic coefficients, has a unique global ...
0
votes
3
answers
502
views
I have this linear PDE...
Hi,
The PDE in question is: $A P_{yy}(y,z) + B P_{zz}(y,z) + ( [ C y -D z] P(y,z) )_y + ( [ D y + C z ] P(y,z) )_z=0,$
where subscript $y,z$ indicates derivatives and $A,B,C,D$ are real. The PDE is ...
- 3
0
votes
1
answer
205
views
Calculation of a complex integrand. A question from the book PDE by A. Friedman
In the book Partial Differential Equations by A. Friedman 1969.
Part 2
on page 104, in the proof of theorem 2.1 (d).
$A$ is a operator of type $(\psi,M)$ ($-A$ generates a analytic semigroup), and $\...
- 11
0
votes
1
answer
179
views
Reference: DaPrato and Grisvard parabolic PDEs.
Has anyone read G. DaPrato and P. Grisvard Equations d'evolution abstraites nonlineaires de type parabolique?
It's not available in my library. I am wondering if it's worth me acquiring it: is it ...
- 45
0
votes
1
answer
236
views
Brezis-Nirenberg result compared to abstract bifurcation theory
Dear Mathoverflow'ers,
I am interested in the following equation:
$-\Delta u = u^{p-1} + \lambda u$ in $ \Omega$ with $ u=0 $ on $ \partial \Omega$.
1) My question is related to the Brezis-...
- 13
0
votes
1
answer
182
views
Test function .
For a smooth test function \eta and some constant C is it possible to have an estimate like the following?
|grad \eta|^2 < C {\eta}^2 ?
Thanks.
- 3
0
votes
1
answer
643
views
Is this (interpolation) inequality right?
Suppose that $\Omega$ is a bounded domain in $\mathbb{R}^3$, $F$ is bounded in $L^\infty (\Omega \times (0,T))\cap (\cap_{k=1}^\infty L^{5/3}(0,T;C^k(\bar{\Omega})))$.
Question: Can we say that $F$ ...
- 61
0
votes
2
answers
2k
views
fundamental solution of radial wave equation
i am trying to find resources on the derivation of the fundamental solution to the radial wave equation. any suggestions of or links to books, papers, and/or notes would be much appreciated. i have ...
- 1
0
votes
1
answer
166
views
Transformation from domains to half-spaces
In a paper I read, an elliptic boundary value problem
on a bounded domain D x (0,T) is solved by first transforming
it in a set of equations on half-spaces R^n and then applying
partial Fourier ...
0
votes
1
answer
104
views
Equivalence of Wind Forces: Intensity vs. Duration [closed]
The strongest tornado in the world happened recently in Greenfield Iowa with winds over 318 mph: https://www.facebook.com/watch/?v=2176728102678237&vanity=reedtimmer2.0
I am curious, are less ...
user531026
0
votes
1
answer
100
views
Spatially localised solution to the Schrödinger equation with potential is a combination of eigenfunctions
In this Terry Tao's blog post, he claims that if one has a solution to the Schrödinger equation
$$i\,\partial_t u +\Delta u=Vu $$
with a "reasonably smooth and localised $V$", $u$ has ...
- 94
0
votes
1
answer
75
views
Derive elliptic maximum principle from weak derivatives
Let $U$ is a connected open set, and $a^{ij}, c^i \in L^\infty (U).$ $a^{ij}$ satisfies the uniform ellipticity condition. Suppose that $u\in H^1(U) \cap C(\overline U)$ satisfies the condition that
$$...
- 1,755
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 }\, ...
- 471
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
0
votes
1
answer
131
views
Controlling convolutions with maximal functions
For $f\in L^1(\mathbb R^n),$ let $Mf$ be the (Edited: changed the type of maximal function) Stein spherical maximal function. Let $\varphi\in C_c^\infty.$ Then, can we have a pointwise estimate of the ...
- 1,755
0
votes
1
answer
143
views
An estimate of the integral of the higher order derivative of a bump function
Let $\kappa_1>0$, $\beta\in [0, 1]$ and $b: \mathbb R_+ \times \mathbb R^d \to \mathbb R^d$ such that for all $t\ge0$ and $x,y \in \mathbb R^d$ we have $|b(t, 0)| \le \kappa_1$ and $|b(t, x) - b(t, ...
- 835
0
votes
1
answer
102
views
Limit of minimizers of a class of functionals
Assume that $ \Omega $ is a smooth bounded domain in $ \mathbb{R}^n $. Consider a functional
$$
\mathcal{F}(u)=\int_\Omega(|\nabla u|^2+h^{-1}|u-u_0|^2) \, dx
$$
where $ h>0 $ is a parameter and $ ...
- 1,219
0
votes
1
answer
154
views
Finite dimensionality of a subspace
Let $c>0$ and let $Y$ be the space of all distributions of compact support in $(-1,1)$ with singular support at $\{0\}$. Let $X$ be subspace of $Y$ such that for any $\phi \in X$ there holds:
$$ \...
- 4,135
0
votes
1
answer
72
views
Orthogonality to a one parameter family of eigenfunctions
Let $\rho>0$ be a smooth realvalued function such that $\rho=1$ outside the unit interval $(-1,1)$. For each $t>0$, let us denote by $\{\lambda_n(t)\}_{n=1}^{\infty}$ and $\{\phi_n(t;x)\}_{n=1}^{...
- 4,135
0
votes
1
answer
193
views
Distance function to mean curvature flow
In Ilmanen's monograph on elliptic regularization and mean curvature flow, the following claim is made. (Just for reference, this is on page 60.) For the proof—apparently standard calculations—the ...
- 5,038
0
votes
1
answer
130
views
Riesz transform after linear transformation
I am encountering the term $\partial_x \mathcal{R}_x(f(x,y))$. I needed to do the following linear transformation
$$x' = a x+ by,\,\,\,\,\, y'=ax-by,\,\,\, and \,\,f(x,y)=g(x',y') $$
I ended up with ...
- 159
0
votes
1
answer
166
views
Relationship between elliptic and parabolic problems and their discretizations
Let us consider the fully nonlinear problem
$$
\begin{cases}
F(x,u,Du,D^2 u) = 0 & \text{ in } \Omega \\
u=0 & \text{ in } \partial \Omega
\end{cases}
$$
Suppose that we know that the ...
0
votes
1
answer
125
views
Bounding integral expression with Sobolev norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
0
votes
1
answer
711
views
Lipschitz domains ambiguous definitions
I use a lot in the study of pde bounded Lipschitz domains $\Omega\subseteq\mathbb{R}^N$. However I have noticed that there are some major differences in their definitions. I will put here two of them, ...
- 1,759
0
votes
1
answer
417
views
Application of Green function for non linear PDE [closed]
In the case of linear PDE, say $$Lu=0$$ if we have its green function say $G(x,y)$ then using that one can give solution of non homogenous PDE i.e. $Lu_f=f$ where $u_f=G*f$.
Is the same thing hold for ...
- 309
0
votes
1
answer
98
views
Reference request: Is if possible to estimate the local behaviour of the solution of $\nabla \cdot a(x) \nabla f=g$ via constant coefficients?
Consider the divergence form uniformly elliptic operator $\nabla \cdot a(x) \nabla$
where the coefficient $a$ are smooth and bounded and $D$ is a bounded
and smooth domain of $\mathbb R^d$
$$
\begin{...
- 446
0
votes
1
answer
147
views
The relationship between the first eigenfuntions and the second eigenfuntions on sphere [closed]
Recently I considered the following question: If we give a second eigenfuntions $g$ on sphere, then can we construct a first eigenfuntions $f$ by $g$? Is there any relationship between the first ...
- 47
0
votes
1
answer
73
views
Meaning of $K'[\cdot]$ when $K$ is an symmetric Onsager (matrix) operator
My question is from the section 5.2 of the monograph "Entropy Methods for Diffusive Partial Differential Equations" written by Ansgar J$\ddot{\text{u}}$ngel. To be specific, I do not know ...
- 730
0
votes
1
answer
72
views
Equivalence of statements about level sets: $u|_{S \times [\tau, \infty)}$ depends only on $t$ $\iff$ $u(t,x) = \mu^{\tau}(t,u(\tau,x))$
Let $u:\mathbb R_+ \times \Omega \subset \mathbb R^N \to \mathbb R$ (sufficiently smooth). Are the following statements are equivalent?
For every $\tau >0$ and level surface $S$ of $u(\tau,\cdot)$,...
- 839
0
votes
1
answer
116
views
Fractional Laplacian and support
Let $u:\mathbb [-1,1] \to \mathbb R$ such that $\mathrm{supp}(u) \subset B_{1/2}(0)$. Under what assumptions on $u$ does it hold $$\mathrm{supp}\Big((-\Delta)^s u\Big) \subset B_{1/2}(0),$$
where $(-\...
- 217
0
votes
1
answer
76
views
Reverse Hölder type inequality for the Laplacian raised to a power
I am studying integrals of the form $\int (\Delta \rho)^{\alpha} f^{\beta}$ where $0<\alpha < 1, \beta \geq 0$ and $\rho, f \in C_c^{\infty}(\mathbb{R}^n).$ My goal is to obtain lower bound on ...
- 537
0
votes
1
answer
99
views
An inequality for uniqueness proof of NLS
Setting
Although this detail is not relevant to my question, let me set the problem that my question arise.
We are considering an initial value problem
\begin{align*}
\begin{cases}
u\in L^\infty(I,H^{...
- 239