Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
1 answer
609 views

$H^s$ norm of a solution of a nonlinear Schrödinger equation

I'm reading the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$ by Colliander, Keel, Staffilani, Takaoka and Tao. They study the ...
Guo's user avatar
  • 71
7 votes
0 answers
927 views

What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?

I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it. Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with $ \operatorname{supp} \phi \...
Inquisitive's user avatar
  • 1,051
7 votes
0 answers
304 views

Derivation of a stochastic Navier-Stokes equation under the assumption of perturbed particle trajectories

Let $d\in\left\{2,3\right\}$ $\mathcal V_t\subseteq\mathbb R^d$ be the bounded domain occupied by an incompressible Newtonian fluid at time $t\ge 0$ $\Phi_t:\mathcal V_0\to\mathcal V_t$ such that $\...
0xbadf00d's user avatar
  • 167
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\...
leo monsaingeon's user avatar
6 votes
2 answers
530 views

Schrödinger eigenfunctions are bounded

Let $V:\mathbb{R}\rightarrow \mathbb{R}^{+ *}$ a real positive function such that $\displaystyle \lim_{ x \to \pm\infty} V(x)= +\infty $. Then the Schrödinger operator $H=-\frac{d^2}{dx^2}+V(x)$ has ...
M. Veruete's user avatar
6 votes
3 answers
1k views

Orthonormal basis in $W^{1,2}([0,1])$

Consider the Hilbertspace $W^{1,2}([0,1])$ (i.e. Sobolev space) with the standard inner product which is defined by: $(f,g) = (f,g)_{L^{2}([0,1])} + (f',g')_{L^{2}([0,1])}$. Here $[0,1]$ is not ...
Pablo's user avatar
  • 63
5 votes
2 answers
1k views

Compactly supported functions and Sobolev spaces on manifolds

It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...
Matthias Ludewig's user avatar
5 votes
1 answer
573 views

Analytic perturbation of eigenfunctions

Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...
Noname's user avatar
  • 53
5 votes
1 answer
564 views

Convergence of discrete Laplacian to continuous one

I make the following observation: Let $\Delta^{(n)}$ be the discrete Laplacian on $\mathbb{C}^n$ (ie the $n\times n $ matrix with diagonal $-2$ and upper/lower diagonal $1$.) This one has eigenvalues ...
Sascha's user avatar
  • 536
5 votes
2 answers
285 views

Existence of a solution for this hypoelliptic-alike PDE

I know that this question may result rater vague and somehow out of context, still I am hoping you could help me. Assume we have the following equation \begin{align} \boxed{\partial_t u(t,x,z)=\...
Chaos's user avatar
  • 515
5 votes
2 answers
358 views

Linear transport equation with unbounded coefficients

Consider the PDE $$\partial_t f(x,t) = \langle q(x), \nabla \rangle f(t,x) + p(x),$$ with Schwartz initial data $f(0,x) = f_0(x) \in \mathscr S(\mathbb R^n).$ I am wondering then if $q$ and all its ...
Pritam Bemis's user avatar
5 votes
2 answers
679 views

Banach algebra of smooth functions

To fix the ideas, let's work on the flat periodic torus $\mathbf{T}^d:=\mathbf{R}^d/\mathbf{Z}^d$. My question is the following. Does there exist an infinite dimensional Banach (sub-)algebra $A \...
Ayman Moussa's user avatar
  • 3,425
5 votes
2 answers
2k views

Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that I could not find it any where. Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm $$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \...
Hheepp's user avatar
  • 371
5 votes
1 answer
487 views

Fokker-Planck: equivalence between linear spectral gap and nonlinear displacement convexity?

In a smooth, bounded and convex domain $\Omega\subset \mathbb R^d$ consider the usual linear Fokker-Planck equation with Neumann (some would say Robin) boundary conditions \begin{equation} \label{FP} \...
leo monsaingeon's user avatar
4 votes
1 answer
460 views

Contractivity of Neumann Laplacian

I have an intriguing and probably simple question: reading the articles and books of Wolfgang Arendt on semigroups of linear operators, I found on many places properties of the Neumann Laplacian. In ...
Bogdan's user avatar
  • 1,759
4 votes
0 answers
126 views

Relationship between three different definitions of solutions for ODE with irregular coefficient

What is the difference between the notions of Regular Lagrangian flow Filippov solution Caratheodory solution of an ODE $\dot \Phi(t,x) = b(t,\Phi(t,x))$, with initial condition $\Phi(0,x) = x$, ...
Riku's user avatar
  • 839
4 votes
1 answer
1k views

Where to learn about parabolic Hölder spaces and when to use them

Is there a good resource from where I can learn about parabolic Hölder spaces? I see quite a few different definitions of this space in different papers. I am clueless about why, for example, one may ...
user24394's user avatar
4 votes
1 answer
379 views

A constant ratio of integrals? Part I

Let $u(x)$ be a harmonic polynomial in the unit ball $B_1(0)\subset\mathbb{R}^n$ with $u(0)=0$. For $0<r\leq1$, consider the average of its Dirichlet integral $$A(r):=\frac1{\vert B_r(0)\vert}\int_{...
T. Amdeberhan's user avatar
4 votes
2 answers
658 views

Abstract ODE; PDE; uniqueness of solution

I have a somewhat vague question regarding an abstract ODE in a Banach space. Suppose $A:D(A) \subset X \rightarrow X$ is some linear operator (let's assume it's closed) and maybe add some other ...
Craig's user avatar
  • 539
4 votes
1 answer
387 views

Asymptotic formula for fractional Laplacian

For the solution of $$ \begin{cases} \lambda u^\epsilon - \frac{\epsilon^2}{2} \Delta u^\epsilon = 0 &\text{in } \Omega \\ u^\epsilon=1 & \text{on } \partial \Omega \end{cases} $$ Varadhan ...
Jun's user avatar
  • 303
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 ...
António Borges Santos's user avatar
4 votes
2 answers
930 views

Rate of convergence of mollifiers // Sobolev norms

Following up to the question raised here, I am searching for a reference (or a simple argument) to establish (in the whole space) the following (suggested) equivalence : Given $N_1$ and $N_2$ two (...
Ayman Moussa's user avatar
  • 3,425
4 votes
2 answers
447 views

Heat equation and evolution of number of critical points

Let $u_0$ be a smooth function on the unit sphere $S^1$ and assume that $u(t,x)$ is a smooth solution of the heat equation with initial data $u(0,x)=u_0(x)$. How one can apply the maximum principle to ...
A random mathematician's user avatar
3 votes
1 answer
362 views

Solution of the fractional Laplace equation on a ball

What is the expression of the (non $u \equiv 0$) solutions to \begin{align*} (-\Delta)^s u &= 0 && x \in B_r(0) \\ u&=0 && x \in \mathbb R^N \setminus B_r(0), \end{align*} ...
user173196's user avatar
3 votes
2 answers
849 views

Integral of fractional Laplacian is zero

Is it true that $$\int_{\mathbb{R}^N}(-\Delta)^su(x) dx = 0,$$ where $(-\Delta)^s$ is the fractional Laplacian?
user avatar
3 votes
1 answer
949 views

ODE continuous dependence on parameters to PDE

I want to learn how to apply certain ODE theory to PDE. If we have a Banach space ODE $$x'(t) = f(t, x(t), p),$$ $$x(0) = x_0$$ where the equation is over same domain $t \in (a,b)$, then via the ...
Bloop's user avatar
  • 55
3 votes
1 answer
701 views

Doubling of variables method for parabolic equations

Does anyone have a reference that explains the technique of doubling of variables as introduced by Kruzkov? It seems to be a necessary tool for contraction estimates when we have weak solutions. ...
mathias_l's user avatar
  • 145
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&...
Laithy's user avatar
  • 969
3 votes
1 answer
251 views

Null sets in PDE

Consider the weak formulation: find $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V')$ such that for all $v \in L^2(0,T;V)$, $$\langle u'(t), v(t) \rangle_{V',V} + \langle Au(t), v(t) \rangle_{V',V} = \...
maximumtag's user avatar
3 votes
1 answer
428 views

Any formula or estimates the Green function for the Laplacian in $3D$ periodic box?

Let $\mathbb{T}^3=(\mathbb{R}/\mathbb{Z})^3$ be the three-dimensional torus with sides identified. That is, I am considering the unit box $[0,1]^3$ with periodic boundary conditions. In this case, I ...
Isaac's user avatar
  • 3,477
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}$ ...
 Analyst 's user avatar
3 votes
1 answer
845 views

Moser estimates?

Consider $u$, an $L^2$ solution to the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on a ball $B_1$ of radius 1 centered at $(t_0, x_0)$, say, where $t$ can be treated as a "time" variable. I ...
student's user avatar
  • 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 ...
Andrea Tauber's user avatar
2 votes
1 answer
196 views

Viscosity solutions of $(-\Delta)^s u = 0$ in $\Omega $ with non-homogeneous data $u = 1$ in $\mathbb R^n \setminus \Omega$

Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem $$ (1) \quad \begin{cases} (-\Delta)^s u +\lambda u= 0 & x \in \Omega \\ u = 1 & x \in \mathbb R^n \...
Zac's user avatar
  • 161
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}}} \...
Akira's user avatar
  • 825
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)$ ...
Laithy's user avatar
  • 969
2 votes
1 answer
178 views

References for Neumann eigenfunctions

I am looking for references on eigenfunctions with Neumann boundary condition. In an article, the author wrote in introduction that when a domain is planar polygon, the second eigenfunctions on it ...
sharpe's user avatar
  • 721
2 votes
2 answers
953 views

Differentiability of Nemytskii operator on Sobolev space

I am trying to consider hypothesis on $g$ such that the operator $$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$ is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...
D G's user avatar
  • 201
2 votes
1 answer
339 views

Why is this test function admissible? [Paper explanation]

Reading Non-linear Elliptic and Parabolic Equations Involving Measure Data by Boccardo$\&$Gallouet , I had trouble understanding the following: Why is $\psi(u_n)\chi_{(0,t)}$ admissible as a ...
kaithkolesidou's user avatar
2 votes
1 answer
1k views

Strong maximum principle for heat equation. Positivity of solution

I have a non-negative solution $u \in L^2(0,T;H^1) \cap H^1(0,T;(H^1)')$ of the heat equation $$u_t-\Delta u =0$$ on bounded $C^1$ domain $\Omega$, with the boundary condition $$\frac{\partial u(t,x)}{...
ChristopherSail's user avatar
2 votes
1 answer
3k views

A comparison principle for parabolic equation

(Crossposted from https://math.stackexchange.com/questions/757672/how-to-prove-comparison-principle-for-parabolic-pde-nonlinear) Suppose $F:\mathbb{R} \to \mathbb{R}$ is smooth with $F(x) > 0$ for ...
riem's user avatar
  • 266
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 $\...
0xbadf00d's user avatar
  • 167
2 votes
1 answer
1k views

Mixed (anisotropic) Sobolev spaces

Consider real variables $x, y$ and a function $f(x, y) \in H^s(\mathbb{R}^2)$, say for some $s \in (0, 1)$. I am trying to get an understanding of mixed Sobolev spaces of the form $H^s_x(H^s_y)$, ...
anonymous's user avatar
2 votes
1 answer
205 views

Estimates for an elliptic PDE

Let's say I have an equation of the form $\Delta A = J$ where $J=u\nabla u + A|u|^2$ (Clarification: We are on $\mathbb{R}^3$ and $u$ is assumed to be in $H^1(\mathbb{R}^3)$). Then I could simply ...
Jakob Möller's user avatar
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'...
user avatar
2 votes
0 answers
382 views

Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$. I am ...
ewl's user avatar
  • 53
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\,...
Medo's user avatar
  • 852
1 vote
1 answer
518 views

Interpolation between Schatten classes

I was wondering if there is an analogue to the classical Riesz Thorin theorem for Schatten classes. I suppose the answer is yes, since Schatten classes are so similar to $\ell^p$ spaces for which the ...
Kinzlin's user avatar
  • 305
1 vote
0 answers
922 views

A Question on certain Hilbert space of continuous functions, and a characteristic of convergence in it

Define $T^k(\Omega)$, $\Omega$ an open subset of $\mathbb{R}^m$ (with a smooth boundary), as a space of function equivalance classes, with the norm defined as $$ \|f\|_{T^k(\Omega)}^2 = \|f\|_{L^2(...
Rajesh D's user avatar
  • 698
1 vote
0 answers
304 views

Harmonic coordinates on asymptotically flat manifold

I am studying the existence of harmonic coordinates at infinity on an asymptotically flat manifold. My Reference papers are, The Mass of Asymptotically Flat Manifold, by Bartnik [B] and The Yamabe ...
Paul's user avatar
  • 914