All Questions
163 questions
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
2
votes
1
answer
996
views
Derivative and Jacobian determinant of solution of ODE [closed]
Let $\Phi$ be the unique solution of
$$\begin{cases}
\frac{d}{dt}\Phi(x,t) = f(\Phi(x,t),t) \quad t >0 \\
\Phi(x,0) = x \quad x \in \mathbb{R}^N
\end{cases}$$
where we have assumed $f$ smooth.
...
user124345
1
vote
1
answer
210
views
Approximation of functions by tensor products
Given a function $f(x,y)\in L^p(R^d;L^\infty(B_R))$ with $1<p<\infty$, where $B_R:=\{y\in R^d: |y|\le R\}$, can we find a sequence of functions $f_n$ of the form $f_n(x,y)=\sum_{i=1}^ng_i(x)h_i(...
- 411
6
votes
2
answers
1k
views
Properties of heat equation
** I simplified the question: **
On bounded domains, the maximum principle implies that the solution to the heat equation is (strictly) positive, if the initial and boundary data is positive.
I ...
user121558
2
votes
1
answer
137
views
Discrete dynamical system and bound on norm
Let $z \in \mathbb R\backslash \left\{2 \right\}$ then I would like to understand the following:
Consider the dynamical system with $x_i \in \mathbb C^2:$
$$ x_{i} = \left(\begin{matrix} z &&...
user121558
2
votes
0
answers
149
views
Off-diagonal estimates for Poisson kernels on manifolds
Let $(M,g)$ be a complete Riemannian manifold, $\Delta$ its Laplace-Beltrami operator and $T_t = (e^{t \Delta})_{t \geq 0}$ the associated heat semigroup. We can define the subordinated Poisson ...
- 1,090
3
votes
1
answer
212
views
Eigenvalue estimates for operator perturbations
I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.
What was behind ...
- 536
0
votes
0
answers
273
views
Local "boundary comparison principle" for harmonic functions
Let $u$ be a positive solution of the elliptic equation $\mathcal Lu = 0$ on $B^+_1 \subset \mathbb{R}^n$ such that $u$ vanishes continuously on $\{x_n = 0\}$. To fix ideas, we may take $\mathcal L = ...
user123456
2
votes
0
answers
126
views
On the infimium of a functional
Let $(M^n,g)$ be a closed Riemannian manifold. Define
$$\lambda(g)=\inf\{\mathcal{F}(g,f),\;0<f\in C^{\infty}(M),\; \int_Mf^2\;d\nu=1\},$$
where $$\mathcal{F}(g,f)=\int_M\left(|\nabla f|^2+ af^2\...
- 169
1
vote
1
answer
247
views
Elliptic interface problem without conditions on the interface
Consider an open domain $U$ split in two non-overlapping subdomains: $U = U_1 \cup U_2$.
For a model case, consider a ball split in a smaller ball and an anulus.
Consider the following elliptic ...
user60665
0
votes
0
answers
113
views
Conditions for the embedding of the space $L^\infty(I, W^{1,2}(U))$ into $L^\infty(I \times U)$
Let $I$ be a compact interval of $\mathbb{R}$ and $U$ be a bounded subset of $\mathbb{R}^2$.
If $f \in L^\infty(I, W^{1,2}(U))$, what (non-trivial) condition ($L^p$-estimate on $f$ or decay-like ...
user123457
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
4
votes
1
answer
145
views
Power series in functions other than monomials
I would like to understand how approximations by monomials and approximations by other kinds of functions are related which I illustrate with an example.
Consider the interval $[-\pi,\pi]$ let's say.
...
- 536
3
votes
0
answers
223
views
Sobolev space under Mellin transform
The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...
user127612
7
votes
2
answers
682
views
Hölder continuity for operators
Let $x,y$ be positive real numbers then
$$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$
we obtain $1/...
user127612
10
votes
1
answer
586
views
Nonlinear Schrödinger equation with discrete Laplacian
In 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 it is argued in the beginning ...
user127411
11
votes
2
answers
478
views
$x f'$ bounded by $x^2f $ and $f''$?
Consider the Hilbert space of functions $f \in L^2(\mathbb R)$ such that $x^2f \in L^2(\mathbb R) $ and $ f'' \in L^2(\mathbb R).$
I am wondering whether it is true that $xf'\in L^2(\mathbb R)$ as ...
- 177
2
votes
1
answer
93
views
Lipschitz bound on semigroups
Let $T$ be a self-adjoint operator (possibly unbounded) and $S$ a bounded self-adjoint operator.
Then one can study the unitary groups $R_T(t):=e^{itT}$ and $R_S(t):=e^{itS}.$
Now if you think about ...
0
votes
2
answers
387
views
Derivative of fractional Laplacian is the fractional Laplacian of the derivative
Is it true that $$\partial_x ((-\Delta)^s u(x)) = ((-\Delta)^s \partial_x
u(x))?$$
user104647
8
votes
1
answer
380
views
Lavrentiev phenomenon between $C^1$ and Lipschitz
Does there exist a (onedimensional) integral functional of calculus of variations (with $f$ finite everywhere)
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that
$$
\inf_{y\in Lip([a,b])}F(y)<\inf_{...
- 1,309
7
votes
0
answers
619
views
Lavrentiev Phenomenon
Does there exist a (onedimensional) integral functional of calculus of variations
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that not only
$$
\inf_{y\in\operatorname{Lip}([a,b])}F(y)>\inf_{y\in ...
- 1,309
-1
votes
1
answer
136
views
An elementary question about integration by parts! [closed]
Let $f,g: R \rightarrow R$ be two positive increasing functions. Under what (non-trivial) conditions one can guarantee that $\int_{0}^{\infty}f'g dx\geq \int_{0}^{\infty}g'fdx$.
2
votes
0
answers
683
views
Laplace problem with Robin boundary condition on a wedge
I'm trying to understand what the essential differences between Dirichlet/Neumann and Robin boundary conditions are. Therefore, let $\omega \in \left(0, 2\pi\right)$ and let
\begin{equation*}
\Omega = ...
0
votes
1
answer
218
views
Heat semigroup dissipative
Consider the heat semigroup on $L^1(\mathbb{R}).$ I would like to know if the generator of this semigroup is dissipative in the sense of this definition.
On $L^2$ it would be completely trivial, but ...
- 167
3
votes
1
answer
148
views
Prove existence of continuous function on $(0,1)$ with special properties [closed]
Consider the interval $I=(0,1)$ and let $f,g$ be two linearly independent continuous functions on $[0,1]$.
I am asking if there is a continuous function $h$ such that
$$\int_0^1 h(s) f(s) ds=0$$
$$...
- 501
7
votes
3
answers
2k
views
Collections of examples and counterexamples in (real, complex, functional) analysis, ODEs and PDEs
What books collect examples and counterexamples (or also "solved exercises", for some suitable definition of "exercise") in
real analysis,
complex analysis,
functional analysis,
ODEs,
PDEs?
The ...
user60665
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
1
vote
0
answers
183
views
Trace theorem for boundary value problem
Consider the inhomogeneous boundary value problem on the infinite strip $(x,y)\in \mathbb{R}\times [0,1]$ defined by
$$\begin{cases}\partial_{x}u + \partial_{y}v=f & {(x,y)\in \mathbb{R}\times (0,...
- 873
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 ...
- 63
1
vote
0
answers
105
views
compactness of sequence of harmonic functions
Let $ \Omega$ denote a smooth bounded domain in $ R^N$ and let $u_m \in C^\infty( \overline{\Omega})$ harmonic functions. We also suppose $ u_m$ is bounded in $L^2(\Omega)$ (uniformly in $m$).
...
- 1,385
2
votes
0
answers
64
views
The continuity of $L^2$ gradient on moving domain
I post this on MSE too. Sorry for this short cross posting. But I stuck in this problem for a while... I don't know what the right tool should be used to handle the moving domain problem...
Let $I:=(...
- 679
2
votes
1
answer
158
views
Defect of Compactness for the Strichartz Estimates
I am trying to understand the motivation behind the main theorem of Keraani: See the top of page 356 and which is the motivation behind his Theorem 1.6
We consider
$$i\partial_t u + \Delta u =0, u(x,...
- 233
2
votes
0
answers
87
views
1D inhomogeneous linear Schrodinger equation
I have the following problem:
$iu_t - u_{xx} = f$ on the interval $[0,L]$ with $u(0,t)=u(L,t)=0$ and $u(x,0)=0$. I can show that $\|u\|_{L^2(x,t)}$ (space-time) is controlled by the norm $\|f\|_{L^2(...
2
votes
0
answers
82
views
Properties of a Sobolev bound
I am interested in computing
$$
A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2}
$$
where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound.
...
- 193
1
vote
0
answers
86
views
Asymptotics of a elliptic pde when exponent gets large
I am interested in the following pde
$$ -\Delta w_p + \left( \frac{1}{p-2} +1 \right) \frac{ | \nabla w_p|^2}{w_p} + \epsilon(p) \left( \frac{1}{w_p} \right)^{(p-2)} = (p-2) w_p $$ in the unit ball $...
- 1,385
3
votes
1
answer
212
views
A question on the Frechet derivative
Suppose the derivative of a functional is given by
\begin{equation*}
\int_{\Omega}(\vec{v}.\nabla u)|\nabla u|^{p-2} \phi=\int_{\Omega}\nabla.(u\vec{v})|\nabla u|^{p-2} \phi,~\phi\in W_0^{1,p}(\...
- 157
2
votes
1
answer
696
views
Does the following type of Gronwall inequality hold?
Let $I=[0,b)$, $b< \infty$. Suppose $u$ is a positive bounded measurable function on $I$. $v(s)$ is a positive, smooth function on $I$. Note that $u(b),v(b)$ may be $0$.
Suppose that
$$
u(t) \...
- 471
1
vote
0
answers
129
views
persistence of regularity for nonlinear Klein-Gordon equation
I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" (...
- 1,051
0
votes
0
answers
151
views
Notion of solution of pde
Let's consider the following Schrodinger equation
$$iu_t+\Delta u+F(u)=0$$
in $\mathbb{R}^n$. In Cazenave's book, "Semilinear Schrodinger equation", he defines $H^1$-weak solution as $u\in L^\infty(0,...
- 9
2
votes
1
answer
267
views
Hardy-type inequality for point boundary
Let $f$ be in $W^{2,p}(\mathbb{R}^n)$ for $n\geq 3$ and $p>n/2$, with $f=0$ at the origin. I want to show that the integral $$\int_{B(0,r)} (f |x|^{-2})^p dV <\infty$$ for some small $r>0$. A ...
- 83
1
vote
0
answers
136
views
A linear operator equation (PDE) with non-monotone term
I'm interested in the existence and/or uniqueness to the following problem. Let $V$ and $H$ be Hilbert spaces and $V \subset H \subset V^*$ form a Gelfand triple.
There is a linear operator $L:{D}(L) ...
- 11
18
votes
3
answers
2k
views
Poincare lemma for non-smooth differentiable forms
The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for $C^k$-...
- 16.4k
5
votes
0
answers
913
views
Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?
Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
- 103
1
vote
0
answers
182
views
Laplacian mapping on various function spaces
I have a question related to a certain elliptic operator on $R^N$ but I think i can clarify my confusion if I just consider the Laplacian $\Delta$ on the unit ball in $R^N$.
If $ 1 <p< \infty$...
- 539
3
votes
0
answers
146
views
Variational Principle for a System of Differential Equations
I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v \...
- 516
2
votes
0
answers
142
views
Holder continuity of Poisson equation with divergence free drift
I am interested in the following PDE.
Suppose $u_m$ is a smooth solution of a elliptic equation of the form
$$ -\Delta u_m(x) + a_m(x) \cdot \nabla u_m(x) = f_m(x) \qquad B_1 $$ with $ u_m=0 $ on $\...
- 539
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 (...
- 266
4
votes
2
answers
657
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 ...
- 539
-1
votes
1
answer
237
views
Theorem with an example [closed]
i have this theorem
in the paper they gives an example:
but here $H_1$ is not satisfied !
How to correct it please?
- 277
3
votes
2
answers
717
views
Existence for ODE in Banach space (accretive operators and Crandall-Liggett)
There is a theory of mild solutions $u \in C^0(0,T;X)$ where $X$ is a Banach space for equations of the form
$$\frac{du}{dt} + Au = f$$
where $A$ is an accretive nonlinear operator under some ...
- 155