All Questions
Tagged with ap.analysis-of-pdes fa.functional-analysis
1,304 questions
2
votes
1
answer
177
views
Determine the sign (positive or negative) of an integral with the fractional Laplacian
Let $u,v:\mathbb R \to \mathbb R$ and $\phi: \mathbb R \to \mathbb R_+$ be smooth bounded functions. Assume also $\phi' \ge 0$. Assume that $u(0) - v(0) = 0$ and that $0$ is a strict global minimum of ...
- 839
2
votes
1
answer
171
views
Mean value formula for fractional heat equation
For the solution $u(z) = u(t,x)$ of the heat equation $u_t -\Delta u = 0$ we have
$$u(z_0) = \int_{\Omega_r(z_0)}u(z) K_r(z_0-z) dz,$$
where $$\Omega_r(z_0) = \left\{z \in \mathbb{R}^{N+1}: \Gamma(z_0-...
- 161
2
votes
1
answer
225
views
Prove convergence of whole sequence $f_n$ of solutions to a differential problem to a limit $f$ (without uniqueness assumptions)
Let $\{f_n\}_n \subset C^\infty \cap L^2(\mathbb R^N)$ be a sequence of functions that solves a linear differential equation $F_n(f_n, \nabla f_n) = 0$. Suppose that there exists a subsequence $n_k$ ...
- 839
2
votes
1
answer
327
views
Fractional Laplacian and convolution $(-\Delta)^\alpha (u \ast \eta_\epsilon) = (-\Delta)^\alpha u \ast \eta_\epsilon$?
For $u \in L^\infty(\mathbb R)$ and $\eta_\epsilon$ mollifier, it is well-known that for the (distributional) derivative it holds that $(u \ast \eta_\epsilon)' = u'\ast \eta_\epsilon$.
Is it also true ...
- 839
2
votes
1
answer
497
views
Some properties of fractional Dirichlet heat kernel
Let $\Omega\subset \mathbb{R}^n (n\geq 2)$ be a bounded open domain with smooth boundary $\partial\Omega$. Consider the fractional heat equation with Dirichlet boundary condition：
\begin{equation}
\...
- 287
2
votes
1
answer
258
views
$L^2$ bound and Sobolev spaces
Let $f \in L^2(\mathbb R)$ be a function such that
$$\vert f \vert_{\alpha}:=\sup_{h>0}h^{-\alpha}\Vert f(\bullet+h)-f \Vert_{L^2}< \infty$$
for some $\alpha \in (0,1).$
I would like to know ...
user69109
2
votes
1
answer
391
views
Entropy solution for linear transport equation
Consider the transport equations
$$ (1) \qquad \partial_t u + \operatorname{div}(bu) = 0$$
and
$$ (2) \qquad \partial_t u + b \cdot \nabla u= 0$$
Can we define a notion of entropy solutions for (1) ...
- 839
2
votes
1
answer
300
views
Optimal control theory of PDEs
This is a somewhat openly phrased question because I am not quite sure what has been done in that direction.
Imagine one has two evolution equations
$$\partial_t u = p(x,\partial_x,f)u$$
$$\...
- 536
2
votes
1
answer
196
views
Support of functions in Fourier domain
Let $\mathcal F$ be the Fourier transform. I would like to understand whether being in a Sobolev space implies that the Fourier transform of a function is necessarily supported on a compact ball up to ...
- 23
2
votes
1
answer
217
views
Estimates for the Sobolev inequality
How to prove the Sobolev estimate:
If $\Omega$ is a bounded open subset of $\mathbb R^N$, then
for any $q>1$
$$
\|u\|_{L^{q}(\Omega)} \leq C|\Omega|^{1/q} q^{1- 1/N}\| \nabla u \|_{L^{N} (\Omega)...
- 402
2
votes
2
answers
148
views
Solution of hyperbolic equations with $V^*$ data
Let $V\subset H\subset V^*$ a Hilbert triple and consider a 2nd order evolution equation of the form $$u''(t)+Au(t) = f(t)\quad \text{ in }\ L^2(0,T;V^*),$$ where $f\in\ L^2(0,T;H)$.
Can we let $f\in ...
- 123
2
votes
1
answer
713
views
Reference request: numerical analysis of PDEs and integro partial differential equations
I'm very new to the field of numerical analysis of PDE and integro partial differential equations.
My advisor (who is not a specialist in this area) highly recommended to read
Randall J. LeVeque'...
user102027
2
votes
2
answers
304
views
Why is the ellipticity condition important in the theory of viscosity solutions?
A fundamental assumption in User's guide (p. 2) is that the operator $F$ should be proper.
However, the role of this monotonicity condition (and especially of the "ellipticity condition" part) is ...
user102027
2
votes
2
answers
406
views
Solution to semilinear heat equation at $t=0$: $u_t(0,x) - \Delta u(0,x) + f(x,u,u_x)= 0 \ ?$
Consider the following Cauchy problem
$$u_t - \Delta u + f(x,u,u_x) = 0, \quad (t,x) \in (0,T) \times \mathbb{R}^n,$$
with initial condition $u(0,x) = g(x), \ x \in \mathbb{R}^n.$
Suppose that $u \...
- 303
2
votes
1
answer
1k
views
Pointwise convergence implies uniform convergence?
Let $K$ be an integral kernel of a bounded operator $S:L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n) $ defined like
$$(Sf)(x)= \int_{\mathbb{R}^n}K(x,y)f(y)dy.$$
Assume that $K\in C^{\text{bounded}...
- 329
2
votes
1
answer
147
views
Showing existence of minimisers with single integral constraint on a possibly non-Lipschitz domain?
Consider a domain $\mathcal{D}$ which is a right circular cylinder in $\mathbb{R}^3$, with radius 1 and height 1, say. The boundary of $\mathcal{D}$, which I denote by $\partial\mathcal{D}$ consists ...
- 155
2
votes
1
answer
702
views
Correction term in the relation between the Itō and Stratonovich integrals in Hilbert spaces
I'm reading the paper On the relation between the Itō and Stratonovich integrals in Hilbert spaces and there is something I don't understand.
In the notation of the paper, let
$H,H_1$ be separable $\...
- 167
2
votes
1
answer
219
views
Right inverse of the Seiberg-Witten functional
For closed 4 manifold X, we consider the derivative of the Seiberg-Witten functional, i.e.
$$\Omega^1_2(X;\sqrt{-1}\mathbb R)\oplus\Gamma_2(S^+)\overset{D}{\to}\Omega^2_{+,1}(X;\sqrt{-1}\mathbb R)\...
- 1,915
2
votes
1
answer
375
views
Simplify proof for rapidly decaying functions
I want to show the following theorem in a lecture:
Let $F \in C^{\infty}(\mathbb{C}^{k}, \mathbb{C})$ such that $F(0)=0.$
Let $G: \mathbb{R}^n \rightarrow \mathbb{C}^{k}$, $x \mapsto (f_1(x),..,f_k(...
- 181
2
votes
2
answers
357
views
Composition operators on fractional-order (periodic) Sobolev spaces
(The question was originally posted on MSE.)
Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...
- 63
2
votes
1
answer
396
views
$BMO$-property via a John-Nirenberg type estimate?
Let $\Omega \subset \mathbb R^d, d\ge 2$, be bounded and denote a ball in $\mathbb R^d$ by $B$. Denote also
$$
f_B:= \frac1{|B|}\int_B f \, dx.
$$
Suppose $f \in L_{\rm loc}^p(\Omega)$ for all $1<p&...
- 632
2
votes
2
answers
342
views
compact inclusion of domains of unbounded operators
Let $L$ be a positive self-adjoint operator defined densely on $L^2(M)$ where $M$ is a compact manifold.
Also, let $\mathcal{D}(L) \subset H^1(M)$. It is known that $\mathcal{D}(L) \subset \mathcal{D}(...
- 21
2
votes
1
answer
192
views
Nonlocal Stefan problems
Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality?
A search on Google and MathSciNet give me only a handful of results which greatly ...
- 43
2
votes
1
answer
244
views
A bound in Sobolev spaces of negative order
Let's consider the domain $U=[-\pi,\pi]\times[-1,1]$. Assume that we have two functions $f\in H^2$ and $g\in H^{1/2}$.
I wonder if the following bound is true:
$$
\|f g_{x_1}\|_{H^{-0.5}(U)}\leq C(\...
- 843
2
votes
1
answer
274
views
A compactness result: if $f_n(u_n) \rightharpoonup w$ in $L^2(0,T;L^2)$, then $f_n(u_n) \to w$ in $L^2(s,T;H^{-1})$ for all $s > 0$
Let $f_n \to f$ on compact subsets of the real line (these are functions defined on the real line) satisfying some conditions: $f$ has linear growth (but is nonlinear function) and is continuous and ...
- 173
2
votes
2
answers
263
views
Perturbations of positive-definite self-adjoint operators
I was reading Kato's book on Perturbations of Linear Operators and have the following questions:
If we have a self-adjoint operator, what kinds of perturbations (other than relatively bounded ones) ...
- 21
2
votes
1
answer
624
views
The perturbed KdV Equation
I'm now studying KdV Equation$$u_t-6uu_x+u_{xxx}=0$$To solve the initial-value problem,we can use method of Lax pair,so we can alter the original problem to the problem of solving out $u$ in the ...
- 61
2
votes
1
answer
303
views
Proper sobolev spaces invariant under no-linearities
Let $f:H^s\to H^s$ at least continuous and not necesarily linear. Is there some kind of criterion or condition over $f$ that lets to ensure that $f({H^{s+k}})\subseteq H^{s+k}$?
- 151
2
votes
0
answers
227
views
A deceptively simple regularity problem for functions on the plane
By various meanderings and toying with simpler problems, my current research has lead me to the following quite straightforward question, which I am wholly unable to answer:
Consider a twice ...
- 989
2
votes
0
answers
52
views
On distributions and kernels
Let $U\subset\mathbb{R}^{d}$ be an open set and consider $X=\mathbb{R}\times U$. Now, lets consider a smooth (regular) kernel $k_{A}\in C^{\infty}(X\times X)$ and corresponding continuous operator $A:...
- 1,429
2
votes
0
answers
43
views
Distributions and time-kernels
Let $U\subset\mathbb{R}^{d}$ be an open subset and set $M:=I\times U$, where $I=(a,b)\subset\mathbb{R}$ is some open subset. Lets consider a linear operator $B:C^{\infty}_{c}(M)\to C^{\infty}(M)$ that ...
- 1,429
2
votes
0
answers
191
views
Smoothing property of the heat kernel on the one-dimensional torus
Let $G=G(x,t)$ be the heat kernel on the one-dimensional torus $\mathbb{T}^1,$ with $x \in \mathbb{T}^1$ and $t \in (0,T].$ $G$ is given by \begin{equation}
G(x,t) = (4 \pi t)^{-1/2} \sum_{k \in \...
- 185
2
votes
0
answers
102
views
Semiclassical limit of spectral gap of Schrödinger operators with nonsmooth potential
Let $\Omega$ be a connected compact subset of $\mathbb{R}^d$. It is well known that for a smooth potential $V:\Omega \to \mathbb{R}$ that has a unique nondegenerate minimum $V(0) = 0$, the operator $H ...
- 1,551
2
votes
0
answers
83
views
3/2 Sobolev Norm on the boundary of a bounded open subset of $\Bbb R^n$
Let $\Omega\subset\mathbb{R}^{n}$ be a open bounded set and $\partial\Omega$ be the boundary of $\Omega$.
Following the reference text by Alois Kufner, Oldřich John and Svatopluk Fučík, Function ...
2
votes
0
answers
103
views
A question from a proof of an inequality in Sobolev space $W^{1,1}$
I try to understand the proof the lemma given at page 54 in Ladyzhenskaya et al (1968) - Linear and Quasilinear Elliptic Equations. Here it is a screenshot:
Here is what I did:
$$-u(x)=u(y)-u(x)=\...
- 1,759
2
votes
0
answers
92
views
Sharp Sobolev trace inequalities on Riemannian manifolds with boundaries
For $n \geq3$, let $(M,g)$ be smooth $n$-dimensional, compact, Riemannian manifold with a smooth boundary. Then there exists some constant $A=A(M,g)>0$ such that, for all $u \in H^1(M)$
\begin{...
- 101
2
votes
1
answer
180
views
Reference request: Parabolic Schauder estimates for the heat equation with $f \in L^\infty$
Let us consider the heat equation
$$\partial_t u - \Delta u = f(x, t) \quad \text{in }Q_R $$
where $Q_R = B_R \times (-R^2,0].$ I would like to know the kind of regularity we should expect of $u$ if ...
- 452
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\...
- 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 ...
- 1,759
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 $(...
- 573
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
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
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$-...
- 1,231
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-...
- 71
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
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 ...
- 825
2
votes
0
answers
114
views
Poincare inequality on the hemisphere
Background:
Let $\mathbb{S}^2_+$ be the hemisphere. Then we know that for $f:\mathbb{S}^2_+\to \mathbb{R}$ satisfying (when written in coordinates) $\int_{0}^{2\pi}\int_{0}^{\pi/2}f(r,\theta)\sin(r)dr ...
- 537
2
votes
0
answers
77
views
Question about the ''crater'' in mountain-pass theorem while reading a paper of solving mean-field equation by mountain-pass theorem
Actually, I'm reading a paper which finds the saddle point of a functional, of course the unbounded below energy functional will suggest a potential saddle, but the structure of mountain pass is the ...
- 809
2
votes
1
answer
196
views
Estimate for the operator $A A_D^{-1}$
Let $O\subset\mathbb{R}^d$
be a bounded domain of the class $C^{1,1}$
(or $C^2$
for simplicity). Let the operator $A_D$
be formally given by the differential expression $A=-\operatorname{div}g(x)\...
2
votes
0
answers
143
views
How to prove $\operatorname{Id}-K$ is a proper map when $K$ is a $C^1$ compact operator?
Assume $X$ is a Banach space, $\Omega \subseteq X$ is an open set, $K\in {C}^{1}( \overline{\Omega}, X)$ is a nonlinear compact map, Is $\operatorname{Id}-K$ a proper map? I think maybe it has ...
- 21