All Questions
1,304 questions
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,143
6
votes
0
answers
187
views
Gaussian lower heat kernel bounds on non-convex bounded domain
I am looking for a proof the following theorem.
Let $U \subset \mathbb{R}^n$ be a bounded domain with $C^2$ boundary and $p(x,y,t)$ be the Neumann heat kernel. Then there exist a constant $C>0$ ...
- 6,367
2
votes
0
answers
160
views
Understanding the Bochner space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ in terms of the Fréchet derivative
In the context of linear parabolic equations, the Sobolev space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ appears all the time. Here, $U$ is some bounded region of $\mathbb{R}^n$ and $1<p,q<\infty$.
...
- 405
8
votes
3
answers
1k
views
Are all positive eigenfunctions principal eigenfunctions?
In a given domain $\Omega$, we have: $\Delta u=-\lambda u$ with $u>0$. Does this mean that $u$ is a principal eigenfunction for $\Delta$ in $\Omega$?
Also, more generally, does this also apply for $...
- 12.6k
1
vote
0
answers
105
views
Applications of finite speed of propagation property
Consider the Laplace operator $\Delta:=\sum_{j=1}^{n}\partial_{x_{j}}^{2}$ on $\mathbb{R}^n$. Let $E_{\lambda}$ be the spectral resolution of $\Delta$, and
$$ H_{t}[f]:=\cos{(t\sqrt{-\Delta})}f=\int_{...
- 287
2
votes
0
answers
153
views
Riesz’s representation theorem in a weak form
Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^N$ $(N\geq 3)$, $\phi\in H_0^1(\Omega)$ is a solution of $$
\begin{cases}\Delta \phi+ \phi=h & \text { in } \Omega, \\ \phi=0 &...
- 471
0
votes
2
answers
238
views
Fractional Laplacian of $(a-x)_+^\alpha$ in $(0,1)$
How can I compute the spectral fractional Laplacian of $(a-x)_+^\alpha$ on $\Omega = (0,1)$?
Here the operator is defined as $$(-\Delta)^s u = c_{N,s} \int_0^\infty (e^{t\Delta_N}u(x) - u(x)) t^{-1 - ...
CommunityBot
- 1
4
votes
0
answers
77
views
Reference/Help request for formula $[A,e^{-itB}]$ found in physics thread
I'm wondering if anyone has a rigorous reference or a proof of the formula (2) found in the main answer of this thread on the physics stack exchange. I want to use it but in the case where $A, B$ are ...
- 71
1
vote
0
answers
47
views
Existence for a nonlinear evolution equation with a monotone operator that is not maximal
We consider the nonlinear evolution equation
$$
\dot{u}(t) + Bu(t) = 0, \quad u(0)=0
$$
with
$$
A: \mathcal{C}(\Omega)\to \mathcal{M}(\Omega),\; p \mapsto \arg\min_{\mu\in\partial\chi_{\{||\...
- 171
0
votes
0
answers
52
views
Coupled Kazdan-Warner type equation
Famous work of Kazdan and Warner shows that given $u\geq 0$ and a constant $c>0,$ the following equation in $f$ has a unique solution:
\begin{align*}
\Delta f+ u e^f=c
\end{align*}
I am interested ...
- 954
5
votes
1
answer
311
views
Maximal operator estimates for the Schrödinger equation
Let $a>0$ and consider the operator
$$Tf(t,x)= \int_{\mathbb{R}^{n}}e^{ i x\cdot \xi} e^{i t \lvert\xi\rvert^{a}} \widehat{f}(\xi) \, d\xi.$$
When $a=2$, the function $Tf$ solves the Cauchy problem ...
- 852
2
votes
1
answer
645
views
Reference request: inverse of differential operators
I have asked a similar question on MSE but I did not receive any replies, so I am reposting here in case it is more appropriate (though I have slightly generalized the question).
As an example ...
- 27.5k
1
vote
0
answers
109
views
$L^2(0,\infty;L^2(\Omega))$ estimate on solution of heat equation with Neumann boundary condition
Let $u$ be a solution of
$$u' - \Delta u = 0 \quad\text{on $\Omega$}$$
$$\partial_\nu u = 0\quad\text{in $\partial \Omega$}$$
$$u(t=0)=u_0\quad\text{on $\Omega$}$$
where $\Omega$ is a bounded ...
- 93
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
2
votes
0
answers
79
views
Does this variant coincide with the usual Hölder space?
$\newcommand{\NN}{\mathbb N} \newcommand{\RR}{\mathbb R}$
Let $\alpha \in (0, 1]$ and $d, j \in \NN^*$.
The usual Hölder space $C^{j, \alpha} := C^{j,\alpha} (\RR^d; \RR)$ is defined as the space of ...
- 825
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
7
votes
0
answers
123
views
Steklov eigenvalue for circle valued functions
Let $(M,g)$ be a compact Riemannian manifold with boundary. It is well known that the first positive Steklov eigenvalue $\sigma_1$ of $M$ has the following variational characterization:
$$\sigma_1(M,g)...
- 2,095
6
votes
2
answers
519
views
Existence of an integral equation (Faedo-Galerkin, Banach fixed point, Picard-Lindelof)
This question is concerning the paper, particularly the proof of Lemma 2.1 in Section 2.1:
Matas, A., Merker, J. Existence of weak solutions to doubly degenerate diffusion equations, Appl Math 57 (...
- 4,713
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 ...
CommunityBot
- 1
1
vote
1
answer
160
views
On an integral equation
Let $B: C^{\infty}([0,1]^3)$ satisfy
$$B(t,t,x)=0 \quad \text{for all $t,x \in [0,1]$.}$$
Let $f \in C^{\infty}([0,1]^2)$ satisfy the following integral equation:
$$ \int_0^1 f(t,x)\,dx + \int_0^t\...
- 6,696
3
votes
1
answer
182
views
How to choose some $h$ so its Fourier transform supported in some set?
Suppose that $K=[-N, N]$ is some compact subset of $\mathbb R$, for some $N>2.$
Can we expect to choose $h$ such that $h=1$ on $K$ and the support of the Fourier transform of $\widehat{h}$ ...
- 79.9k
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:
$$ \...
- 128k
1
vote
0
answers
105
views
Friedrichs extension of the Laplacian from a smooth subspace and density of its eigenbasis in the Frechet topology of the subspace as well?
Let $C^\infty_\text{div}(\mathbb{T}^3)$ be the "real" Frechet space of periodic, divergence-free smooth vector fields on $\mathbb{R}^3$. That is, $\mathbb{T}^3$ is the $3$-dimensional torus.
...
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
0
votes
0
answers
113
views
Solving $\frac{\partial}{\partial t}f = h f + h \int h f$
Is there a closed form solution to the following differential equation?
$$\frac{\partial}{\partial t}f(i, t) = a h(i) f(i, t) + b h(i) \int \mathrm{d}i\ h(i) f(i, t)$$
Where $h(i)=C (i+1)^{-p}$ with $...
- 2,252
2
votes
1
answer
494
views
Fundamental Theorem of Gamma-Convergence
Let $(X, d)$ be a metric space and $F_\varepsilon, F\colon X\to [-\infty, \infty]$. Suppose $F_\varepsilon$ is an equicoercive sequence of functions on $X$, i.e. for all $t\in\mathbb{R}$ there exists ...
- 67
3
votes
2
answers
382
views
Singular support: equivalent definition
Let $U\subset\mathbb{R}^{d}$ be an open set. The singular support of a distribution $u\in\mathcal{D}^{\prime}(U)$ is defined to be the compliment of the set of points, which have a neighbourhood in ...
- 7,817
1
vote
0
answers
96
views
Representation formula for the continuity equation on a separable Hilbert space
The following is an informal question for which I'd like to (ideally) find a reference. I'm quite a novice in this area but would be happy to find a reference to a theorem along the following lines (...
- 63.9k
2
votes
0
answers
206
views
Failure of Calderón–Zygmund inequality at the endpoints
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'd like to prove that the famous Calderón–Zygmund elliptic estimate $$ \norm{ \partial_{ij}u }_{L^p} \leq C \norm{\Delta u }_{L^...
- 457
1
vote
0
answers
63
views
Solution to $u_t = A(t)u + f(t)$ on bounded domain
I am dealing with the problem
\begin{align}u_t &= \nabla \cdot (a(x,t) \nabla u) + f(x,t) &\text{ on } \Omega \times (0,T)\\
\partial_{\nu} u &= 0 &\text{ on } \partial \Omega \...
- 12.6k
6
votes
2
answers
326
views
Looking for references to study $U^p$ and $V^p$ spaces
I am studying some papers in the analysis of nonlinear PDEs and I am encountering the $U^p$ and $V^p$ spaces for the first time. Where can I find references more detailed than papers?
Edited
The ...
- 1,075
2
votes
1
answer
154
views
Function monotony between [0,T] and $L^2$
Let $\Omega\subseteq\mathbb{R}^N$ be a bounded and smooth domain. If $z:[0,T]\to L^2(\Omega)$ is a function in $H^1([0,T],L^2(\Omega))$ with the property that $z'(t)(x):=z'(t,x)>0$ a.e. on $\Omega$ ...
CommunityBot
- 1
5
votes
0
answers
417
views
All $L^pL^q$ estimates for the heat equation on $\mathbb R$ (with gain of derivatives)
I have asked this question on MSE, but this is a better place.
The heat equation and the heat kernel.
Consider the heat equation on $\mathbb R$:
$$ \left\{\begin{aligned}u_t-\Delta u&=f\\u(0,x)&...
- 1,075
1
vote
0
answers
89
views
Reference for an application of J. Simon "Compact sets in the space $L^p(0,T;B)$"
Theorem 5 p.84 of J. Simons paper "Compact sets in the space $L^p(0,T;B)$" states a generalization of the Aubin-Lions lemma which relaxes the required regularity in time to the existence of ...
- 469
1
vote
0
answers
111
views
Schrödinger equation approximation – continuity of eigenvalues with respect to potential
The question has been crossposted from Stackexchange after receiving no answers.
Setup: the time-independent Schrödinger equation (eigenvalue problem):
$(-\frac{\hbar^2}{2m}\Delta +V)\psi = E\psi$
(On ...
- 39.1k
1
vote
2
answers
106
views
Green function of symmetric stable process in dimension 1 and 2
Are the results in this paper on the Green function of a symmetric stable process available also in space dimension $d =1$ and $d=2$? The main theorems here are stated only for $d \ge 3$.
5
votes
1
answer
216
views
Bounds on dimension of a subspace
Let $I=(0,1)$ and let $C>1$ be a constant. Let $L^2(I)$ and $H^1(I)$ be the standard Sobolev spaces on $I$. Suppose that $U$ is a subspace of $H^1(I)$ with the additional property that:
$$ \| u\|_{...
- 61.9k
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 ...
CommunityBot
- 1
4
votes
1
answer
418
views
Periodicity and Burger's equation
Consider the 1-dimensional Burger's equation on a finite interval $I=(0,1)$,
$$u_t+uu_x=u_{xx}$$
with initial condition
$$u(x,0)=f(x)$$
and boundary conditions
$$u(0,t)=A(t) \qquad u(1,t)=B(t).$$
...
- 52.3k
2
votes
2
answers
281
views
Most general reverse Hölder inequality for polynomials
Theorem. Let $m$ be an integer and $P_m$ the vector space of degree $m$ polynomials in one real variable. There is a constant $C$ such that, for all $a<b$ and $p \in P_m$,
$$\|p\|_{L^\infty(a,b)} \...
- 981
3
votes
1
answer
762
views
Approximate Fréchet derivative of PDE solution operator
Let's assume that $F$ is the solution operator of some PDE problem, i.e. $F$ maps some parameter or boundary condition function to the solution of a given PDE. Let also be $\Pi$ be the evaluation ...
- 12.9k
2
votes
0
answers
114
views
A maximum principle in $\mathbb{R}^N$
Let $\delta > 0$ and define
$$
H_\delta(x) = \prod_{j=1}^{N} \cosh(\delta x_j), \quad \forall x \in \mathbb{R}^N.
$$
By straightforward calculations we get $\Delta H_{\delta} (x) = \delta^2 H_\...
- 167
7
votes
0
answers
80
views
Given composition rules, determining whether a continuous map between smooth functions is a pseudodifferential operator
Let $M$ be a closed manifold, and let $P:C^{\infty}(M)\rightarrow C^{\infty}(M)$ be a continuous linear map in the smooth Fréchet topologies. In what is to come, if it helps, one can assume further ...
- 808
0
votes
0
answers
143
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
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 ...
- 39.1k
1
vote
0
answers
153
views
Maximal domain of an unbounded linear operator in a weighted Hilbert-space
Let's consider the following (unbounded) linear operator. (So called transport operator in some context.)
$$ \mathrm{T}: \mathcal{H} \supset \mathcal{D}(\mathrm{T}) \to \mathcal{H} , f \mapsto \mathrm{...
- 185
0
votes
1
answer
171
views
Looking for English version of a paper of Jean Ginibre
I am in serious need of an English translation for the following paper:
Séminaire Bourbaki by Jean Ginibre, Le problème de Cauchy pour des EDP semi-linéaires
périodiques en variables d’espace, d'après ...
- 26.3k
4
votes
1
answer
128
views
On the domain of functionals in measure with singular kernels
this post is concerned with functionals defined in measures. Consider the following functional
$$\mathcal{W}[\mu]=-\int_{\mathbb{R}^2}{\log\vert x-y\vert\ d\mu(x)d\mu(y)},$$
were we define $-\log\...
- 6,367
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
0
votes
1
answer
161
views
Verifying the proof of a bilinear estimate in $L^2$
$\newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\ds}{\displaystyle} \newcommand{\Lpn}[2]{\left\lVert#1\right\rVert_{L^{#2}}}$
$\newcommand{\Lptxy}[3]{\left\lVert#1\right\rVert_{L^{...
- 159