All Questions
1,304 questions
3
votes
1
answer
116
views
Ekeland's standardness-property inheritable?
Ekeland's inverse function theorem gives weak conditions under which a function $f:E\rightarrow F$ between two graded Fréchet-spaces is locally surjective. The theorem requires
the codomain $F$ to be ...
- 779
3
votes
1
answer
275
views
Is the closure of the ball of $1$-Lipschitz functions still equi-Lipschitz?
$\DeclareMathOperator\Lip{Lip}$Let $\Lip_0(\mathbb R^d)$ be the space of Lipschitz functions $f:\mathbb R^d\to\mathbb R$ vanishing at zero, i.e., $f(0)=0$, and equipped with the norm $\|f\|:=\|\nabla ...
user128095
3
votes
1
answer
374
views
Positive part of Cauchy sequence of Sobolev functions is again Cauchy
Let $p\geq 1$ and consider the space $W^{1,p}(B)$ where $B\subset \mathbb{R}^{n}$ is the standard unit ball. Moreover, let $f_{k} \in C^{\infty}(B)$ be a Cauchy sequence in $W^{1,p}(B)$ of smooth ...
- 49
3
votes
1
answer
203
views
What are the subelliptic estimates for the Rockland operator?
Let $X=(X_1, X_2, \dots, X_n)$ be a smooth vector field on $\mathbb{R}^n$. The operator $L=(\sum_{i=1}^{m}X_i^2)^p$, where $p$ is an integer, is a degenerated operator. If $X$ satisfies the Hörmander ...
- 31
3
votes
1
answer
356
views
Initial data and heat equation
We assume all solutions to be bounded here!
Let $y_{+},y_{-} \in C_c^{\infty}$ be two positive functions.
If we then consider the heat equation
$$\partial_t u(t,x) = \Delta u(t,x)$$ for two ...
user121558
3
votes
1
answer
283
views
Question on relation between a parabolic sobolev space and a sobolev bochner space
For parabolic sobolev spaces I follow the following definition:
According to this definition, we have that $W^{1,1,2}(I \times \Omega)=L^2(I; W^{1,2}(\Omega)) \cap W^{1,2}(I; W^{-1,2}(\Omega))$
...
- 227
3
votes
1
answer
627
views
Compact embedding between parabolic Hölder spaces
My question is about the following compact embedding:
\begin{equation}
C^{\sigma+2, \sigma/2+1}_{x, t}(Q_T)\hookrightarrow C^{\sigma, \sigma/2}_{x, t}(Q_T).
\end{equation}
what condition should be put ...
- 31
3
votes
1
answer
274
views
Function square-integrable
Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function
$$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \left(\frac{xy}{(x^2+y^2+1)}\right)^2 \ dx$$
where $x_0$ is an ...
3
votes
1
answer
273
views
References on nonlinear evolution equations treated as infinite-dimensional systems for nonexperts
In many cases of interest a nonlinear evolution partial differential equation can be written as an infinite-dimensional dynamical system
$$
du/dt+A(t)u=0
$$
on a suitable functional space $X$, where $...
- 312
3
votes
1
answer
146
views
Radial Kernel with Bounded Support and Norm of Gradient Bounded by a Dimension-free Constant
I was wondering if it is possible to construct a compactly supported radial kernel function in $\mathbb{R}^d$ such that the norm of the gradient is bounded by some dimension-free constant. That is, ...
- 1,127
3
votes
1
answer
219
views
Positivity of generalised heat kernels
Let $K_\alpha(t,x)$ be the (generalised or fractional) heat kernel which corresponds to the fractional heat equation (I'm not sure that's the right name) in $\mathbb R^n$
$$
u_t=(-\Delta)^\alpha u, \...
- 2,933
3
votes
1
answer
218
views
Short time $L^1$ bounds for semigroups obtained from elliptic operators
Let $\Omega$ be a domain in $\mathbb{R}^n$ with smooth boundary, and let $L$ be a negative definite second order elliptic differential operator defined with $\mathcal{D}(L) \subset H^2(\Omega)$, given ...
- 31
3
votes
1
answer
670
views
A specific mollified functions in the Sobolev space H^1(R)
Let $u>0$ be in $H^{1}(\mathbb{R})=W^{1,2}(\mathbb{R})$, we know that the set of $C^{\infty}$ functions with compact support are dense in the Sobolev space $H^{1}(\mathbb{R})$. Hence, we have a ...
- 31
3
votes
1
answer
191
views
Complex sum of squares of vector fields (hypoelliptic operators)
Consider a compact $M$ of dimension $n$. Consider real smooth vector fields $X_0, X_1, X_2,..., X_n$ on $M$ and consider the differential operator $\mathcal{L}_1 = \sum_{i = 1}^n X_i^2 + X_0.$
Now, by ...
- 31
3
votes
1
answer
752
views
A distributional normal derivative for functions in $H^1(\Omega)$
Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this.
For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the ...
- 266
3
votes
1
answer
563
views
Uniqueness of weak solutions of a heat equation
Let $M$ be a smooth compact closed manifold.
Let $u \in H^1(0,T;H^{-1}(M)) \cap L^2(0,T;H^1(M))$ be a solution of
$$u_t - \Delta u - u = 0$$
$$u(0)=u(T)$$
satisfying $\int_M u(t) = 0$ for all $t$. Is ...
- 33
3
votes
1
answer
367
views
BMO spaces on the torus
I was reading BMO spaces (John-Nirenberg) on wikipidia http://en.wikipedia.org/wiki/Bounded_mean_oscillation. There they define BMO norm as
$$sup_{Q}\frac{1}{Q}\int_Q |u(y) - u_Q|dy$$
where $u_Q$ is ...
- 31
3
votes
1
answer
365
views
Two equivalent definitions of weak solution to parabolic PDE; don't understand proof
(Crossposted from MSE due to no replies)
I'm trying to understand the proof that (c) implies (a) here in the following proposition (here, $\mathcal{V} = L^2(0,T;V)$). See the very last line in the ...
- 113
3
votes
1
answer
2k
views
Regularization by mollifier sequence
A well-known feature used in PDE's is the regularization by convolution with a mollifier sequence $\rho_n$, i.e. $\rho_n(x) := n^d \rho(nx)$ with $x \in \mathbb R^d$, $\rho \in C^\infty_c(\mathbb R^d)$...
- 33
3
votes
1
answer
3k
views
Solving Functional Equation
Continue with my previous question “Regarding Kolmogorov's Superposition Theorem”, here are some further questions:
Question-1
Is it true: for any given $C^1$ continuous real function $f(x, y): \Re^2 ...
- 103
3
votes
0
answers
196
views
Parabolic smoothing for semilinear PDE
Consider the semilinear energy-critical parabolic PDE in $\mathbb{R}^3$
\begin{align}
\partial_t u &= \Delta u + |u|^{4/(n-2)}u = \Delta u + u^5\\
u(0,x) &= u_0\in \smash{\dot{H}}^1(\mathbb{R}^...
- 537
3
votes
0
answers
108
views
A question on essentially self-adjoint differential operators of the type $\Delta=D^{\ast}D$
Let $(M,g)$ be a smooth (connected, complete, oriented) Riemannian manifold and let $D:C^{\infty}(M)\to C^{\infty}(M)$ be a linear partial differential operator, which I view as an operator in $L^{2}(...
- 1,171
3
votes
0
answers
90
views
Sobolev embedding on a compact manifold without boundary
I am reading M. E. Taylor, "Partial Differential Equations III", Second Edition, Springer-Verlag, New York, (1996).
In chapter 13, section 2, in Prop. 2.3 and Prop. 2.4, one finds the ...
- 311
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
3
votes
0
answers
147
views
Embeddings of Bochner-Sobolev spaces with second time derivative
NOTE: I also asked this question here in MSE.
In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
- 91
3
votes
0
answers
100
views
Rate of convergence of mollified distributions in Besov spaces with negative regularity
Given a standard mollifier $\rho_\delta$ and a distribution $ u \in B^\alpha_{ p, p}$ with $\alpha<0$, $p \in [1, \infty]$ and $B^\alpha_{p,p}$ is a not-homogeneous Besov space, I'm trying to prove ...
- 293
3
votes
0
answers
124
views
Estimating a solution to Euler-type ODE #2
This is a similar question to this but with a different ODE.
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer, $R&...
- 969
3
votes
0
answers
128
views
Image of trace operator on $W^{2,1}(\mathbb{R}^2)$
It is known that for a domain $\Omega\subset \mathbb{R}^2$ with $C^1$ boundary $\partial\Omega$, that the trace operator is bounded and surjective from $T:W^{1,1}(\Omega)\to L^1(\partial\Omega)$.
For ...
- 989
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 ...
- 1,219
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
153
views
Quasimode construction on a compact Riemannian manifold
Let $M$ be a closed Riemannian manifold, $\Delta$ be the usual Laplace-Betrami operator on $M$ and $\gamma : [0, L] \to M$ be a stable elliptic periodic geodesic of length $L$. I have heard in several ...
- 131
3
votes
0
answers
41
views
Functional of fully nonlinear equations
Let $\left(\mathcal{M}, g_0\right)$ be a compact Riemannian manifold of dimension $n>2$ and denote by 'Ric' and $R$ respectively the Ricci tensor and the scalar curvature. The $k$-Yamabe problem is ...
- 471
3
votes
0
answers
111
views
What is known about the analytic continuation of Maz'ya's modified harmonic zeta function $\sum_{n=1}^{\infty} e^{-zH_n}$?
Question:
If we let $H_n = \sum_{k=1}^{n} \frac{1}{k}$ be the harmonic numbers then we can consider the modified zeta function
$$ f(z) = \sum_{n=1}^{\infty} e^{-zH_n } = \sum_{n=1}^{\infty} e^{-z(\ln(...
- 2,689
3
votes
0
answers
83
views
Embedding theorems for Dini continuous functions
Are there embedding theorems for the space of Dini continuous functions on a Euclidean domain, or even just on an interval? Ideally, I am looking for something like the classical Morrey inequalities ...
- 3,388
3
votes
0
answers
127
views
Number of spatial critical points of a solution to the heat equation in higher dimensions
I would like to know if the number of spatial critical points of a solution to the heat equation can increase. Given $u_0:\mathbb S^n\to\mathbb R$, let $u$ be the solution of the initial value problem:...
- 31
3
votes
0
answers
102
views
Can Sobolev space be characterized by spectral decomposition?
Consider a homogeneous Carnot group $\mathbb{G}$ with step $r$. Let $X_1,\cdots,X_m$ be the first layer of its Lie algebra. Denote by $\mathcal{L}=-\sum_{i=1}^m X_i^2$ the sub-Laplacian on $\mathbb{G}$...
- 561
3
votes
0
answers
111
views
Complex interpolation of Fourier-Lebesgue spaces and Lebesgue spaces
The complex interpolation of Lebesgue spaces $L^{p_0}$ and $L^{p_1}$ are well-known, that is,
$[L^{p_0}, L^{p_1}]_\theta = L^p$, where $(1-\theta)/p_0+1/p_1 = 1/p$ for some $\theta \in [0,1]$.
Now I ...
- 193
3
votes
0
answers
88
views
Using a maximum principle to deduce regularity
Suppose $\Omega \subset \mathbb{R}$ is an bounded domain and that $u \in C(0,T; H^{2}) \cap L^{2}(0,T; H^{3})$ where $T >0$.
Consider the PDE on $\Omega \times [0,T]$
$$ \partial_{t}u = a_{1}(x,t) \...
- 131
3
votes
0
answers
209
views
Interpolation between Sobolev spaces
In the classical book $Interpolation$ $Spaces$ by Joran Bergh and Jorgen Lofstrom, the Sobolev norm is defined by
$$\|f\|_{H_p^s}=\|D^sf\|_{L^p}$$
where $D^sf$ is defined by the Fourier transform
$$(D^...
- 71
3
votes
0
answers
110
views
On the relation between ellipticity and Fredholmness as properties of linear PDE's on Fréchet spaces of smooth sections
Let $M$ be a compact manifold equipped with finite rank vector bundles $E$ and $F$ with spaces of $C^{\infty}$ sections denoted $\Gamma(E)$ and $\Gamma(F)$ respectively. It is standard that a ...
3
votes
0
answers
135
views
Holmgren's theorem on the boundary
Consider $\Omega$ a bounded Lipschitz domain, with $\gamma \subseteq \partial \Omega$ a $C^2$ manifold. I am interested in proving the following.
Let $u: \Omega\times [0,T]\rightarrow \mathbb{R}$ be ...
- 235
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 ...
- 808
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 ...
3
votes
0
answers
84
views
A weighted $W^{2,p}$ estimates
Let $\Omega$ be a bounded smooth domain and $u\in W^{2,p}(\Omega)\cap H^1_0(\Omega)$. By the classical $L^p$ theory of second order elliptic equation, we have
$$
\|\nabla^2u\|_{L^p(\Omega)}\leq C\|\...
- 379
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 ...
- 63
3
votes
0
answers
159
views
$L^\infty-L^\infty$ bounds for heat semigroups constructed from the Dirichlet Laplacian
Let $D \subset \mathbb{R}^n$ be a bounded domain with Lipschitz boundary, and let $\Delta$ be the Laplace operator with the Dirichlet boundary condition on $D$. Let $e^{t\Delta}$ be the corresponding ...
- 1,407
3
votes
0
answers
170
views
A version of the Nash-Moser inverse function for unbounded domains?
Do there exist versions of the Nash-Moser inverse function theorem applicable to spaces of unbounded smooth functions on unbounded domains in $\mathbb{R}^n$? Any reference would be appreciated but ...
- 505
3
votes
0
answers
96
views
A sequence of functions solving $-\Delta u_n + V u_n = u_{n-1}|_{\partial M}$
Let $M = \mathbb R^3 \setminus B_1$ where $B_1$ is the unit ball.
Let $ h \in C^{\infty}(\partial M)$ and let $u_0$ be the unique function that vanishes at infinity and solves
$$\begin{cases} -\Delta ...
- 969
3
votes
0
answers
145
views
Density of invariant measure of stochastic differential equation
I have a question: is it possible that an SDE has a "nice" density, but its invariant measure does not have a "nice" density? I asked this question at math.stackexchange but ...
- 931
3
votes
0
answers
159
views
Does the weak formulation of a parabolic PDE applies to a (good) non-test function?
Let $\rho:\mathbb R^d\times[0,\infty)\to(0,\infty)$ such that $\int \rho_t(x)\,dx=1$ for all $t\geq0\,$, $\rho$ is Holder-continuous (in both variables) and $\rho_t\in W^{1,1}(\mathbb R^d)$ for a.e. $...
- 311