All Questions
Tagged with fa.functional-analysis ca.classical-analysis-and-odes
524 questions
8
votes
1
answer
712
views
Pseudo-differential operators with compactly supported symbols
If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO $...
- 728
8
votes
2
answers
8k
views
Version of the Poincaré Inequality
Let $\Omega\subset \mathbb{R}^n$ open and bounded. The Poincaré inequality
$$\|u\|_p \le C \|\nabla u\|_p$$
($\|\cdot\|_p$ denotes the usual $L^p(\Omega)$-norm; the Lebesgue measure shall be used here)...
- 2,270
8
votes
2
answers
1k
views
What is the simplest oscillatory integral for which sharp bounds are unknown?
I have either heard or read that sharp asymptotics and bounds for oscillatory integrals of the form
$ \int e^{i \lambda \Phi(x)} \psi(x) dx \quad \lambda \to \infty $
are unknown when the critical ...
- 2,243
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
8
votes
2
answers
1k
views
The continuous Taylor series; are they just Taylor series?
I first posed this question when I was a first year student. I came up with some ad hoc arguments as to why the result is true (a bit of numerical experimentation), but never had a proof. I forgot ...
user78249
8
votes
3
answers
1k
views
Fourier dimension of the sum of sets
This question came up when my supervisors, my colleague, and I were considering arithmetic progressions in sets of fractional dimension. In particular, we were interested in "extracting" Salem sets ...
- 505
8
votes
1
answer
2k
views
Recent progress on Bochner-Riesz conjecture
Consider the family of operators $T_\delta$, $\delta \geq 0$, defined on $\mathbb{R}^n$ by
$
\widehat{T_\delta f}(\xi) = (1-|\xi|^2)_+^\delta \widehat{f}(\xi).
$
($(1-|\xi|^2)_+^\delta$ are known as ...
- 505
8
votes
1
answer
678
views
Spectral theory of pseudo-differential operators
Consider a finite rank complex bundle $E$ over $S^1$ with connection $\nabla$. Let $Q_0, Q_1 \in C^\infty(S^1, E)$ be pseudo-differential operators. $Q_0$ is defined by the symbol $\sigma_0(x, \xi) =...
8
votes
0
answers
349
views
Finding a dimension-free bound for a certain multiplier on Euclidean space
The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
- 141
8
votes
0
answers
605
views
convergence rate in Wiener's approximation theorem
Wiener has the following fantastic results about approximations using translation families:
Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in \mathbb{...
- 1,839
7
votes
3
answers
2k
views
A question on fractional derivatives
I know practically nothing about fractional calculus so I apologize in advance if the following is a silly question. I already tried on math.stackexchange.
I just wanted to ask if there is a notion of ...
user168611
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
2
answers
3k
views
Arzelà-Ascoli theorem and Hölder spaces
Let $B\subset \mathbb{R}^n$ be a open ball. Let $\{f_i\}$ be a sequence of functions bounded in the Hölder norm $C^{k,\alpha}(B)$ for a given integer $k\geq 0$ and $\alpha\in (0,1)$.
Does there exist ...
- 21.8k
7
votes
2
answers
988
views
Missing mass conjecture
Let $n,t$ be positive integers and $p_1,p_2,\ldots,p_n$ positive numbers summing to 1. Conjecture:
$$
\sum_{i=1}^n p_i (1-p_i)^t \le \frac{n(1-1/n)^n}{t}
$$
always holds.
The motivation comes from my ...
- 6,541
7
votes
2
answers
1k
views
Energy levels of double well potential
Consider the (quantum) Hamiltonian on the real line
$$H=-\frac{\hbar^2}{2m}\frac{d^2}{dx^2}+V(x).$$
Let us assume that the potential $V$ is an even smooth functions with exactly two non-degenerate ...
- 21.8k
7
votes
3
answers
696
views
A generalization of discrete Hilbert's transform (Montgomery's inequality)
In the paper "Hilbert's inequality", Montgomery and Vaughan proved that a generalization of the discrete Hilbert transform is bounded in $\ell^2$. The inequality reads as follows
$$ \Big| \sum_{k\neq ...
7
votes
3
answers
1k
views
A Question concerning the Fourier Transform of $\mathbb{R}$
Consider the classical Schwartz space $\mathcal{S}(\mathbb{R})$ together with the Fourier transform $\mathcal{F} : \mathcal{S}(\mathbb{R}) \rightarrow \mathcal{S}( \mathbb{R})$.
Consider the subspace ...
- 11.2k
7
votes
2
answers
1k
views
For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?
(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...
user14166
7
votes
1
answer
546
views
Explicit isomorphism between $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$?
As Hilbert spaces, $L^2(\mathbb{R}^2)$ and $L^2(\mathbb{R})$ are isomorphic. Of course the isomoprhism is vastly not unique. I wonder if there are any particularly nice explicit isomorphisms. E.g. I ...
- 679
7
votes
1
answer
2k
views
Regularity of Fourier transforms of $L^p$ functions for $2<p\le\infty$
I was recently reading about the Mikhlin and Hörmander Multiplier Theorems, which give conditions for a measurable function $m:\mathbb R^d\to\mathbb C$ to be an $L^p$ multiplier, i.e. for there to ...
- 1,247
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
7
votes
1
answer
823
views
On a decomposition of L^1(G)
[EDITED by Y. Choi - I have attempted to paraphrase the original question into something a bit terser and more precise; if this is not what the original poster intended, they should make corrections ...
- 643
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
588
views
A characterization of Lagrange multiplier. Where to find a proof?
Let $F,G\in C^1(\mathbb{R}^n,\mathbb{R})$. Assume for
$s\in(s_0-\varepsilon,s_0+\varepsilon)$,
\begin{align}
E(s) = \min F\quad\mbox{subject to}\quad G=s
\end{align}
is achieved at some $x(s)\in\...
- 305
7
votes
3
answers
2k
views
What are some interesting sequences of functions for thinking about types of convergence?
I'm thinking about the basic types of convergence for sequences of functions: convergence in measure, almost uniform convergence, convergence in Lp and point wise almost everywhere convergence. I'm ...
7
votes
1
answer
245
views
Lower estimate of the minimal eigenvalue of a Hamiltonian
Consider a linear operator $H\colon L^2(\mathbb{R}^3)\to L^2(\mathbb{R}^3)$ given by
$$H(\psi)(x):=-\Delta\psi(x)+V(x)\cdot \psi(x),$$
where $V\colon \mathbb{R}^3\to \mathbb{R}$ is a continuous (or ...
- 21.8k
7
votes
1
answer
414
views
Criteria for operators to have infinitely many eigenvalues
Normal compact linear operators on Hilbert spaces have infinitely many (counting multiplicities) eigenvalues by the spectral theorem.
For non-normal operators this no longer has to be true.
There ...
- 536
7
votes
1
answer
537
views
Multivariate Maximal Hilbert Transform
One way to define the maximal Hilbert transform of a function, $f$, is by
$$\mathcal{H}[f](x):=\sup_{\varepsilon>0} \left| \int_{|x-t|\geq\varepsilon} \frac{f(t)}{x-t} \, dt\right|, \quad x\in\...
- 228
7
votes
0
answers
2k
views
Algebraizing topology and analysis via condensed mathematics
I asked this question on Mathematics Stackexchange, but one of the users suggested that I ask this question at MathOverflow.
I've just come across a Twitter thread by Laurent Fargues explaining a work ...
- 79
7
votes
2
answers
824
views
Fourier series of smooth functions in infinitely many variables
Let $J$ be a set (usually countable). Let $t_j$, $j\in J$, be variables in ${\mathbb R}/2\pi i{\mathbb Z}.$ Put $u_j=\exp(it_j),$ $j\in J.$ Introduce the following semi-norms on the space of Fourier ...
- 401
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
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
1k
views
Exercise 8.13 - Brezis
Let $1 \leq p < \infty$ and $u \in W^{1,p}(\mathbb{R}$). Set
$$
D_{h}u(x) = \frac{1}{h}(u(x+h) - u(x)), \ \ x \in \mathbb{R}, h> 0
$$
Show that $D_{h}u \to u'$ in $L^{p}(\mathbb{R}$) as $h \to ...
- 241
6
votes
1
answer
796
views
A Poincaré-like inequality
Is it true that for some real $K>0$ and all real $u\in C_0^\infty((0,1))$ we have
$$\int_0^1 (u'(x)^2+u(x)^2)\,dx\,\int_0^1 u(x)^2\,dx
\le K\Big(\int_0^1 x\,u'(x)^2\,dx\Big)^2\text{ ?}$$
- 128k
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
2
answers
2k
views
What is the translation in Fourier transform for a function to have exp. decay at $x\to -\infty$
It is known that smooth functions with exponential decay at $\pm\infty$ are functions whose Fourier transform have analytic continuation in some suited complex strip. I was wondering what happens if ...
- 319
6
votes
4
answers
8k
views
Characterization of the non-negative definite functions $f(x,y)$
The common definition of the non-negative definite functions is as follows:
Definition 1: A continuous complex-valued function $f(x)$ is called non-negative definite, if for any real numbers $x_1,\...
- 1,649
6
votes
1
answer
428
views
Poincaré lemma in infinite dimensions
Hi everyone,
Is the Poincaré lemma true in infinite dimensions?
Here's a precise statement:
Let $X$ be a Banach (or maybe Hilbert) vector space, $U$ a simply connected open set in $X$. Is it true ...
- 1,347
6
votes
1
answer
581
views
A puzzling question on real interpolation
Suppose an operator $T$ is bounded on $L^2$ and also bounded from $L^{1}$ to $L^{1}$-weak. Then by Marcinkewicz interpolation one gets that $T$ is bounded on every $L^{p}$ for p between 1 and 2. ...
- 9,007
6
votes
1
answer
1k
views
Prove that the flow of a divergence-free vector field is measure preserving
On page 3 of this preprint, after recalling the definition of flow generated by a vector field, the authors remark that "a necessary condition for a flow $\varphi_t(\cdot)$ generated by $a(t, \cdot)$ ...
- 839
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
6
votes
1
answer
365
views
Is the Besov space $B_{\infty,1}^0(\mathbb{R}^d)$ a multiplication algebra?
Let $s\in\mathbb{R}$ and $1\leq p,q\leq\infty$. Consider the Besov scale of spaces $B_{p,q}^s(\mathbb{R}^d)$ defined by the norm
$$\|f\|_{B_{p,q}^s} := (\sum_{j=0}^\infty \|P_{j} f\|_{L^p}^q)^{1/q},$$
...
- 873
6
votes
1
answer
575
views
Sub-Gaussian decay of convolution of $L^1$ function with Gaussian kernel
I think it might be helpful to put the new statement at the beginning and put the original post at the end. This new statement is more mathematically elegant.
Let $f\geq0$ be in $L^1(\mathbb{R}^d)$ ...
- 1,495
6
votes
2
answers
2k
views
Continuity of a convolution (Version 2)
Hello,
This problem bothers me for some time. Suppose that
$\mu$ is a non-negative Radon measure (or positive linear functional of the space of continuous functions with compact support);
$\psi$ is ...
6
votes
1
answer
591
views
For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...
user14166
6
votes
2
answers
1k
views
Existence of a measure-preserving bijection
Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and
g is radially symmetric,
the function $ (0, \infty )\ni t \mapsto g (tx)$ ...
- 161
6
votes
1
answer
317
views
Convolution in $\ell_p$ when $0<p<1$
Background
It is known that given real sequences $a = (a_n)_{n \in \mathbb Z} \in \ell_p$ and $b = (b_n)_{n \in \mathbb Z} \in \ell_q$, their convolution defined as
$$ a * b (n) = \sum_{k \in \mathbb ...
- 399
6
votes
1
answer
310
views
Surjectivity of a class of integrals in dimensions two
Let $\Omega \subset \mathbb{R}^2$ be an open set and $G(x,\theta): \Omega \times [0,2\pi]\rightarrow \mathbb{R}$ be a positive continuous function. Assume $F:\Omega \rightarrow \mathbb{R}^2$ defined ...
- 434
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
1
answer
134
views
Multi-parameter stationary phase asymptotic expansion
I am looking for an asymptotic expansion of the oscillatory integral of the form
$$\int_{\mathbb{R}^n}f(x)\exp(i(\lambda_1\phi_1(x)+\dots+\lambda_k\phi_k(x))dx,$$
as $\lambda_i\to \infty$ ...
- 1,692