All Questions
Tagged with ap.analysis-of-pdes fa.functional-analysis
1,304 questions
2
votes
0
answers
94
views
Nemytskij operator for Lebesgue variable UNBOUNDED exponent spaces
Let $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where $\Omega\...
- 60.5k
8
votes
0
answers
177
views
Understanding spaces of negative regularity
I apologize if this question is too basic for this site, but I posted it on mathSE and did not get any responses (link can be found here) so I'm crossposting it here.
Let $C^k(\mathbb{R}^n$) be the ...
- 721
0
votes
0
answers
85
views
Measurable selection for the mean value theorem
When we use the mean value theorem we come across the problem of measurability of the argument. The problem is somehow like that:
Let $f:\Omega\times [0,1]\to\mathbb{R}$ be a Caratheodory function (i....
- 1,759
2
votes
0
answers
84
views
Question about the Nemytsky operator on $L^p$ space
Let $\Omega\subset\mathbb{R}^N$ be a bounded open set, $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function, i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is ...
- 3,425
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 ...
- 6,367
2
votes
0
answers
138
views
Sufficient initial conditions for "non-local" PDE
I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
- 63.9k
2
votes
1
answer
211
views
Hölder continuity in time of heat semigroup for regular initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e.,
$$
p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \...
- 578
3
votes
1
answer
263
views
Hölder continuity in time of heat semigroup
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $\ell : \bR^d \to \bR_+$ be a probability density function such that
$$
\|\ell\|...
- 1,190
13
votes
3
answers
2k
views
Space of sections of a fibre bundle with non-compact base space
Let $\pi: E \rightarrow M$ be a fiber bundle over the manifold M and denote by $\Gamma(E)$ the space of smooth sections of $E$.
For compact $M$ it is well known (Hamilton 1982, Part II Corollary 1.3.9)...
- 35.5k
0
votes
0
answers
45
views
Mean value property for fractional laplacian
I just started reading about fractional Laplacian. I am curious on the following questions
Does fractional laplacian i.e., $(-\Delta)^su=0$ in $\mathbb{R}^n$ this equation satisfies any mean value ...
- 41
2
votes
2
answers
151
views
Upper bound $\int_{\mathbb{R}^d \times \mathbb{R}^d} |fx)-f(y)| (1+|y|) \ell (x) p_t (x-y) \, \mathrm d x \, \mathrm d y$ in $t$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $f : \bR^d \to \bR$ and $\ell : \bR^d \to \bR_+$ be measurable such that $\ell$ ...
- 835
0
votes
0
answers
73
views
Operator globally hypoelliptic
An operateor $T$ is globally hypoelliptic if :
$u\in S'(\Bbb R^n),Tu\in S(\Bbb R^n)$ imply $u\in S(\Bbb R^n)$.
My question why if $u\in L^2(\Bbb R^n): Tu =\lambda u$. Then $u\in S(\Bbb R^n)$.
where $\...
- 501
2
votes
0
answers
137
views
Holder-Besov space and time continuity
Let $\mathbb{T}^d$ be the $d$-dimensional torus, $\mathscr{S}:=C^\infty(\mathbb{T}^d)$ the Schwartz space, $\mathscr{S}'$ the space of tempered distributions.
We consider a dyadic partition of unity $(...
- 6,367
2
votes
1
answer
318
views
Understanding the Schrodinger flow——Symplectic Banach manifold
This question was posted on https://math.stackexchange.com/questions/4925369/understanding-the-schrodinger-flow-symplectic-banach-manifold but recieve nothing. I really want to know the something ...
- 360
1
vote
1
answer
101
views
Unique continuation property of the equation $ -\Delta u=|u|^{p-1}u $ with $ p>2 $
Assume that $ \{u_i\}_{i=1}^{2} $ satisfies $ -\Delta u_i=|u_i|^{p-1}u_i $ in $ B_1 $ with $ p>2 $ and $ u_1=u_2 $ in an open set $ A\subset B_1 $. I want to ask that if $ u_1=u_2 $ in $ B_1 $.
...
- 16.2k
3
votes
3
answers
228
views
References for well-posedness of weak solutions to Stefan problem
Can anyone recommend me any papers/texts that deal with the existence off weak solutions of the one-phase (or other) Stefan problem, or in general any sort of free boundary problem (for a beginner)?
...
- 6,367
0
votes
0
answers
55
views
Time regularity vs space regularity for parabolic PDE
Suppose that there exist separable Hilbert spaces $V, H, X$ such that $V\hookrightarrow H\hookrightarrow X\hookrightarrow V'\,$ continuously, where $V'$ denotes the dual of the Hilbert space $V$. Let ...
- 311
4
votes
0
answers
256
views
Singularity of singularities and second microlocalization: a question that come from the stabilization of damped wave equation
In the paper [2], the Authors introduce a tool called second microlocalization, which is difficult for me. Although I have searched a lot of papers on the internet, nevertheless the material that I ...
7
votes
1
answer
185
views
Question on ODE involving mollifiers from Taylor's book on PDEs
In Taylor's third book on PDEs chapter 16, the author discusses quasilinear symmetric hyperbolic systems of the form
$$\partial_{t}u=A^{k}(t,x,u)\partial_{k}u+g(t,x,u)$$
with some initial condition $u(...
- 3,584
0
votes
0
answers
36
views
Sufficient condition for interpolation
If we have a couple of two compatible banach spaces (in this sense) $(X,Y)$ and a sequence of Banach spaces $\{Z\}_{\theta\in[0,1]}$ which are intermediate between $X$ and $Y$ satisfying:
$Z_0=X$, $...
- 101
3
votes
0
answers
99
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
1
vote
0
answers
56
views
Finding thin plate spline subjected to boundary conditions
I am trying to formulate a problem as a PDE. What I want to know is if my formulation is correct, if it admits solution and what am I missing.
This question is related to : Thin-Plate-Spline ...
- 115
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 ...
CommunityBot
- 1
2
votes
1
answer
142
views
Estimating a solution to an Euler-type 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 and $a$ be a real number.
Let $u(r)$ be a function on $[1,\infty)$ ...
- 21.5k
2
votes
0
answers
75
views
Regularity of solutions to an elliptic boundary value problem
Let $M = [1,\infty)\times S^2$. For an integer $k \geq 2$ and number $\tau<0$, define the space $L^2_{\tau}([1,\infty);H^k(S^2))$ to be all $H^k(S^2)$-valued functions $u$ on $[1,\infty)$ with $\...
- 969
7
votes
2
answers
2k
views
Method of characteristics for higher order PDEs in more than two variables
I am trying to understand the mathod of characteristics for solving partial differential equations. However, all the examples I found over the internet are for first order PDEs or for second order ...
- 11
7
votes
1
answer
1k
views
Eigenvalues and eigenfunctions of the Laplace operator on entire plane
According to the answers in the the following questions: How to prove the spectrum of the Laplace operator? and What is spectrum for Laplacian in $\mathbb{R}^n$ , the spectrum of the Laplace operator $...
- 597
3
votes
0
answers
127
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
1
vote
1
answer
112
views
A bilinear estimate with a simple one-dimensional oscillatory integral kernel
Let $f\in L^{p}(\mathbb{R})$, $1\leq p\leq 2$.
I am trying to show that
$$\int_{\mathbb{R}}\int_{\mathbb{R}}
\,K(y,z)\,
\frac{f(y)f(z)}{y^{\frac{1}{2\,p^{\prime}}}\,z^{\frac{1}{2\,p^{\prime}}}}\,dy\,...
2
votes
0
answers
138
views
Is $L^2([a,b]; L^2(S^2))$ the same as $L^2([a,b] \times S^2)$?
The space $L^2([a,b];L^2(S^2))$ is a Banach space with respect to the norm
$$\left\Vert f \right\Vert_1^2 = \int_{a}^b \left\Vert f(r) \right\Vert_{L^2(S^2)}^2 dr$$
The space $L^2([a,b]\times S^2)$ ...
- 969
6
votes
2
answers
2k
views
Weak convergence + convergence of the norm implies strong convergence in Orlicz spaces
It is known [1, proposition 3.32] and a classical trick in PDEs that, in any uniformly convex Banach space $X$, weak convergence $x_n\rightharpoonup x$ together with convergence of the norm $\|x_n\|_X\...
- 176
2
votes
0
answers
194
views
Trouble understanding Lax method for KDV equation for inverse scattering method
I am trying to learn the Lax pair condition on my own so that I can eventually learn the inverse scattering method. I am following a paper by Tuncay Aktosun ("Inverse scattering transform and the ...
5
votes
1
answer
246
views
An asymmetric quadrilinear estimate
Fix $1<p<2$ and let $a_{i}=1-\frac{\theta_{i}}{p^{\prime}}$
where $\theta_{i}\in (0,1/2)$, $i=1,2,3,4$, and $p^{\prime}$ is the conjugate exponent of $p$. Note here that $0<a_{i}=1-\theta_{i}+...
- 61.9k
0
votes
1
answer
117
views
How to understand the unique continuation result
Let $E$ be the closure of $C_c^{\infty}\left(\mathbb{R}^N\right)$ ($N \geqq 3)$ under the norm
$$
\|u\|_E=\left(\int_{\mathbb{R}^N}|\nabla u|^2\right)^{1 / 2}.
$$
Suppose $K(x) \in C^1\left(\mathbf{R}^...
- 12.9k
1
vote
0
answers
43
views
If a weighted Laplacian's eigenfunction is zero in an open set, when is it identically zero?
Let $m, s \in ([0, 1]^d \rightarrow \mathbb{R}_{\geq 0}$). Define a weighted Laplacian $\Delta_{m, s}f$ evaluated at $x \in [0, 1]^d$ to be:
$m(x) \cdot \text{div} ( s(x) \nabla f(x))$.
What ...
- 93
5
votes
1
answer
351
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 12.9k
0
votes
1
answer
121
views
A simple bilinear estimate
Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that
$\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$.
Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$.
What is the optimal value of $t=t(\...
- 852
12
votes
2
answers
5k
views
Where was/is Compensated Compactness used?
This last summer, I read up on Tartar's so called Method of Compensated Compactness (or at least how it applied to scalar conservation laws). I used this theory to prove the existence of $L^{\infty}$ ...
- 4,713
2
votes
0
answers
103
views
What $1$-forms $\theta$ solve $\Delta \theta = f\theta$ for a smooth function $f$?
I have a seemingly basic question that I cannot find any literature on. Let $(M,g)$ be a smooth Riemannian manifold and let $\Delta:\Omega^1(M) \to \Omega^1(M)$ be the Laplace-De Rham operator on $1$-...
CommunityBot
- 1
2
votes
1
answer
128
views
On the existence of a complicated fractal-like set of finite perimeter
Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
- 28k
1
vote
0
answers
109
views
PDE coupled with the pronic numbers (related to triangular numbers)
I am studying the linear PDE:
$$ t^2\frac{\partial^3}{\partial t^3}\sum_{n=1}^\infty \Psi_n(t,s)=s^2\frac{\partial}{\partial s}\sum_{n=1}^\infty \Psi_n(t,s)+\sum_{n=2}^\infty b(n)\frac{\partial}{\...
- 383
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 ...
- 519
0
votes
0
answers
28
views
Metric entropy of mixed norm spaces with exponent-free bounds
Suppose $\mathcal{F}\subset L^p([0,1]^d)$ is a subset with the following property: The $L^q$-covering number of $\mathcal{F}$ is independent of $q$, for all $1\le q\le\infty$. An example of $\mathcal{...
- 21
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
4
votes
1
answer
279
views
Schroedinger operator in 2 dimensions with singular potential
Consider the Schroedinger operator
$$H = -\Delta + \frac{c}{\vert x \vert^2}$$
in two dimensions with $c >0$
This operator has a self-adjoint realization, since it is a positive symmetric operator ...
- 24.2k
2
votes
0
answers
56
views
Fractional powers of Dirichlet-to-Neumann map to derive estimate for PDE
Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with smooth boundary $\partial \Omega= \Gamma$. For $u \in
H^{1/2}(\Gamma)$, let $U \in H^1(\Omega)$ denote the weak solution of
the ...
- 93
0
votes
1
answer
139
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
- 128k
6
votes
0
answers
220
views
Energy of harmonic maps from $\mathbb R^2$ to $S^2$ is quantized
Assume that $U:\mathbb R^2\to S^2=\{y\in\mathbb R^3:|y|=1\}$ is a smooth solution of the equation $\Delta U+|\nabla U|^2U=0$ in $\mathbb R^2$ with $\int_{\mathbb R^2}|\nabla U|^2\,dx<+\infty$. ...
- 517
2
votes
0
answers
111
views
Upper bound Hölder norm of the solution to the linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (x)|^2 u(t, x) \}$
Previously, I asked the same question for a non-linear PDE, but I have got no answer. Below, I consider the linear counterpart it.
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb ...
- 39.7k