All Questions
94 questions
12
votes
1
answer
1k
views
Proof of Green's formula for rectifiable Jordan curves
$\newcommand{\Ga}{\Gamma}$
I am trying to find a proof of Green's formula for rectifiable Jordan curves $\Ga$ (and the corresponding interior regions $R$). There is a proof by Ridder, followed by ...
- 128k
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
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
9
votes
3
answers
563
views
Non-uniqueness of flow for divergence free vector fields
I am looking for a (possibly time-dependent) vector field $v: [0,1] \times \mathbb R_x^d \to
\mathbb R^d$ such that
$\text{div}_x v = 0$ ;
$v$ has more than one (measure-preserving) flow,...
- 608
9
votes
1
answer
782
views
Mean value property with fixed radius
Let $f$ be a continuous function defined on $\mathbb{R^n}$. It is well known that both the spherical mean value property (MVP) of $f$, i.e.
$$f(x)=\frac{1}{|\partial B(x,r)|}\int_{\partial B(x,r)}f,\ ...
- 981
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
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
7
votes
4
answers
6k
views
The characteristic (indicator) function of a set is not in the Sobolev space H¹
Is it true that the characteristic
(indicator) function of a subset of
Euclidean space with finite positive
measure is never in the Sobolev space
$H^1 = W^{1,2}$? And if so, what is the best/easiest/...
- 1,771
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(...
- 1,171
7
votes
1
answer
396
views
Existence of complex function?
Motivated by a similar question Complex-doubly periodic function in two variables?, I would like to ask if there exists a non-zero function $(z_1,z_2) \mapsto f(z_1,z_2)$, where $z_1,z_2 \in \mathbb C$...
- 124
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
7
votes
0
answers
394
views
Fixed radius mean value property implies harmonicity?
Let $f$ be a continuous real-valued function on $\mathbb{R}^n$. It is well known that the following are equivalent:
$f$ is harmonic.
$f$ satisfies the ball mean value property
$$
f(x)=\frac{1}{|B(x,r)...
- 527
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
6
votes
2
answers
622
views
Forcing the uniqueness of a solution of an ODE
For $n\geq 1$, $f_n\in\mathcal{C}^1([0,1],\mathbb{R})$ such that $f_n(x)\geq\sqrt{x}$ for $x\in[0,1]$, and
$$\lim\limits_{n\to+\infty}\sup_{x\in[0,1]}\big|f_n(x)-\sqrt{x}\big|= 0.$$
Let $y_n$ be the ...
- 449
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
6
votes
1
answer
425
views
Lipschitz property of the symmetric rearrangement
I'm currently reading Talenti's paper "Best constant in Sobolev inequality" and am rather stuck on an argument on pg 363 (or pg 11 if you're reading the pdf). In this section of the paper, ...
- 457
6
votes
1
answer
376
views
Lavrentiev phenomenon between $C^1$ and $C^2$
Does there exist a (onedimensional) functional that exhibits the Lavrentiev phenomenon between $C^1$ and $C^2$ that is
$$ F(y)=\int_a^b f(t,y(t),y'(t))\,dt \quad\text{or possibly}\quad F(y)=\int_a^b f(...
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
5
votes
2
answers
2k
views
Elementary calculus estimate or not?
Does there exist a constant $C>0$ such that for all $f \in H^3(\mathbb R)$
$$\int_{\mathbb R} \vert x f''(x) \vert^2 \ dx \le C \int_{\mathbb R} \vert f'''(x) \vert^2 + \vert x^3f(x) \vert^2 + \...
user69109
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 ...
- 124
5
votes
2
answers
699
views
Ground state for non-linear Schrödinger
When studying the blow-up for focusing non-linear Schrödinger equation (NLS) one often compares the initial-state to a stationary solution.
In the energy-critical case, this stationary solution is ...
- 536
5
votes
2
answers
459
views
Backward heat equation and forward perturbed heat equation well posed?
I consider the following scenario. Let $I$ be a compact interval in space and $f$ a nice function in the space $C^{\infty}(I)$. In the following we consider a self-adjoint realization of our operators ...
- 536
5
votes
2
answers
233
views
Analytic approximations of smooth vector fields
Let $M$ be the set of smooth divergence-free vector fields $u$ on $\mathbb{R}^3$ with
$$|\partial_x^{\alpha} u(x)| \leq C_{\alpha K}(1+|x|)^{-K}$$
on $\mathbb{R}^3$ for any $\alpha,K$.
Further, we ...
- 749
5
votes
1
answer
240
views
Are Pointwise conditions studied?, do they make sense?, do they have any applications?
In weakly formulated PDE (or even ODE), we seem to be interested in solutions that satisfy or take desired values at some boundary points of a domain we are interested in. For example, Dirichlet ...
- 698
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
4
votes
1
answer
266
views
Prove $\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-s} dz \approx dist(x,\partial \Omega)^{-s}$, $s \in (0,2)$
Let $\Omega \subset \mathbb R^N$ and $s \in (0,2)$. Under what assumptions on $\partial \Omega$ do we have
$$\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-s} dz \approx \mathrm{dist}(x,\partial \...
- 303
4
votes
1
answer
168
views
Method of characteristics beyond the Lipschitz setting
I have come across the following easy-looking problem that is driving me mad.
I have a family of measures (on the real line $\mathbb R$) $\{\mu_t\}_{t>0}$ which is uniformly bounded (the measures ...
- 608
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
4
votes
1
answer
166
views
Compute $ \partial_t\int_{\{u(t,\cdot) >0\} } 1\, dx$ in the sense of distributions where $u$ solves a PDE
Let $u:\Omega\subset \mathbb R^N \to \mathbb R$ be bounded function that solves an evolution PDE $\partial_t u(t,x)= L(u(t,\cdot))(x)$, where $L$ is some elliptic operator.
How can I compute the ...
- 109
4
votes
1
answer
222
views
A continuous bi-Lipschitz shrinking of a domain into a compact subset
Let $\Omega \subset \mathbb{R}^n$ be a bounded domain. My main problem/question is:
(1) Show there exist a sequence of bi-Lipschitz (i.e injective Lipschitz function with Lipschitz inverse) maps $F_n ...
- 401
4
votes
1
answer
755
views
Bounds for associated Legendre polynomials
I am trying to analyze the behaviour of the Associated Legendre polynomials $P_{n}^{m}$ on $[0,1]$. More specifically, I am trying to get upper bounds for $P_{n}^{m}$ on $[0,1]$. Bernstein's ...
- 399
3
votes
1
answer
240
views
Solutions and asymptotics of the ODE $ f''=f^{-\alpha} $
Consider the ODE $ f''=f^{-\alpha} $, where $ \alpha>1 $ and $ f>0 $ in $ \mathbb{R} $. Assume that for $ [f]_{\frac{2}{\alpha+1}}\leq A $, where $ A>0 $ is a constant and
$$
[f]_{\frac{2}{\...
- 1,219
3
votes
2
answers
354
views
General version of Weyl's lemma
The classical Weyl's lemma say, suppose $u \in L^1_{loc}(\Omega)$ satisfies
$$\int_{\Omega}u \Delta \phi dx=0\ \ \forall \phi\in C_c^{\infty}(\Omega),$$
then $u$ is harmonic in $\Omega.$ What I want ...
- 379
3
votes
1
answer
425
views
Regularity of boundary of a level set of a $C^{1,\alpha}$ function
Let $f:\mathbb{R}^2\to\mathbb{R}$ be a $C^{1,\alpha}$ function. Denote $S_C=\{x\in\mathbb{R}^2\mid f(x)=C \}$ the level set of $f$ with value $C$.
What i want to ask is, if $S_C$ is nonempty for some $...
- 379
3
votes
1
answer
216
views
Linear transport equation with Lipschitz conditions
Given the equation here, I would like to ask the following relaxed question:
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) = ...
- 124
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
3
votes
1
answer
146
views
Dirichlet to Neumann operator for a nonlocal ODE
Consider the following nonlocal ODEs on $[1,\infty)$.
#1)
$$\begin{align}
r^2 f''(r) + 2rf'(r)-l(l+1) f(r) &= -\frac{(f'(1) + f(1))}{r^2}\\
f(1) &= \alpha \\
\lim_{r\to \infty} f(r) &= 0
\...
- 969
3
votes
1
answer
217
views
The energy of a semilinear ODE
I'm currently reading Caffarelli, Gidas, Spruck's paper "Asymptotic Symmetry and Local Behavior of Semilinear Elliptic Equations with Critical Sobolev Growth". For some background, we ...
- 457
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
3
votes
1
answer
259
views
The continuous dependence of the Green's function on a domain
Let $\Omega\in\mathbb{R}^2$ be a smooth bounded domain and $G(x,y)$ be the Green's function of $-\Delta$ in $\Omega$ with zero Dirichlet condition. Clearly $G(x,y)=-\frac{1}{2\pi}\ln|x-y|-h(x,y)$, ...
- 379
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
3
votes
0
answers
92
views
Questions about article "Ordinary differential equations, transport theory and Sobolev spaces" by DiPerna-Lions
I am reading the article, and I am more or less halfway through it. I have some questions though on some parts I am not understanding, so I wanted to ask about these here. I apologize for listing the ...
- 697
3
votes
0
answers
84
views
A weighted $W^{2,p}$ estimates
Let $\Omega$ be a bounded smooth domain and $u\in W^{2,p}(\Omega)\cap H^1_0(\Omega)$. By the classical $L^p$ theory of second order elliptic equation, we have
$$
\|\nabla^2u\|_{L^p(\Omega)}\leq C\|\...
- 379
3
votes
0
answers
55
views
system of Euler like ode's
I am interested in solving some linear elliptic system like
$$ -\Delta \phi(x) + \frac{C_1 \psi(x)}{|x|^\beta} =f(x)$$
$$ -\Delta \psi(x) + \frac{C_2 \phi(x)}{|x|^\alpha} =g(x)$$ in $B_1$ (the ...
- 1,385
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
2
votes
2
answers
631
views
Decomposition of a positive definite matrix
Let $K(x)_{n\times n}$ be a positive definite matrix defined on $x\in D$ and $K_{i,j}(x)\in C^2(D)$ (or generally $C^k$) for any $1\le i,j\le n$. Of course for any $x$, there exists a invertable ...
- 379
2
votes
1
answer
230
views
Integration by parts with Hilbert transform
Is there a good integration by parts formula to compute
$$\int_{0}^\infty f \ H (f') dx,$$
where $H$ denotes the Hilbert transform and $f$ is a smooth function?
- 303
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 ...
2
votes
1
answer
145
views
Estimate for an oscillatory integral of the first kind
I am confused in finding the right bound for the following oscillatory integral
$$I = \int_\mathbb{R} (\psi(2^{-k} \xi))^2 e^{i (y \xi - 3 \eta \xi^2 t)} d\xi.$$
Where $\psi(2^{-k} \xi)$ is a smooth ...
- 159
2
votes
1
answer
291
views
An inequality involving fractional Laplacian
I have to prove that for $s\in(0,1)$, $u\in\mathcal{S}(\mathbb{R}^n)$, (i.e. $u$ is a Schwartz function):
$$ |(-\Delta)^su(x)|\leq c_{n,s}|x|^{-n-2s},\quad\forall x\in\mathbb{R}^n\setminus B_1(0), $$
...
- 339