All Questions
Tagged with fa.functional-analysis ca.classical-analysis-and-odes
524 questions
3
votes
1
answer
243
views
Prescribing a gradient direction
Let $\Omega= \{(x,y) : \frac{1}{2} \leq x^2+y^2 \leq 1\}$ and $S = \{(x,y) : x^2+y^2 = 1\}$ the unit circle, and $X=w^{1.\infty}(\Omega;\mathbb{R})$ the space of Lipschitz valued functions. We denote ...
- 1,675
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.
...
- 128k
5
votes
0
answers
374
views
A question about Carleman linearization
Carleman linearization is a technique used to embed a finite dimensional system of analytic ordinary differential equations into an infinite system of linear differential equations:¹⁻²
Let $f$ be ...
- 1,590
1
vote
1
answer
480
views
Is there an asymptotic bound for this oscillatory integral?
I have an oscillatory integral:
$$ \int u(x,y) e^{i\lambda f(x,y)} dx $$
with $f(x,y)\in \mathbb{C}^{\infty}$ a complex-valued function in a neighborhood of $(0,0)$ satisfying:
$$ \text{Im} f \geq ...
CommunityBot
- 1
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} ...
- 993
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/...
- 28.6k
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 ...
CommunityBot
- 1
0
votes
1
answer
242
views
Harnack inequality for fractional laplacian
Let u be a positive solution of $s\in (0, 1) $
\begin{equation}
\left\{\begin{aligned}
(-\Delta )^{s} u &= 0 \text{ in } (-2T, 2T)\\
u &=g\quad\text{in}\quad \mathbb R\setminus(-2T, 2T).
\...
- 17.2k
1
vote
0
answers
324
views
Conditions for Poisson summation (for discontinuous functions)
Let $G$ be an locally compact abelian group with $\Gamma$ a discrete cocompact subgroup. I'm looking for precise conditions by which Poisson summation formula holds. That is, for some function $f$ on $...
- 3,799
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 ...
- 13k
2
votes
0
answers
293
views
Average of irrational flow on the torus
Let $$F(x,y) = \frac{1}{\sqrt{2-\sin(2\pi x) - \sin(2\pi y)}}$$
defined on $\mathbb{T}^2$. Here $\mathbb{T}^2 = \mathbb{R}^2/ \mathbb{Z}^2$ is the 2-torus. How can I show that
$$ \lim_{T\...
- 375
2
votes
2
answers
270
views
An inner product on the vector space $\mathbb{R}[x_1,\cdots,x_n]_m$
For any given integers $m,n\geq1$, let $\mathbb{R}[x_1,\cdots,x_n]_m$ be the vector space of homogeneous polynomials of degree $m$ in $x_1,\cdots,x_n$ over the field of real numbers $\mathbb{R}$. ...
- 6,237
1
vote
0
answers
237
views
On the bound of the Stein-Wainger oscillatory integral
Let $\lambda\in \mathbb{R}$, $\phi\in C^\infty(\mathbb{R})$. We define the Stein-Wainger oscillatory integral by
$$I=p.v.\int_\mathbb{R} e^{i\lambda\phi(t)}\frac{dt}{t}.$$
Stein-Wainger [1] showed ...
- 11
1
vote
0
answers
146
views
Functional equation with Fourier transform
What are the continuous functions $f$ such that on $\mathbb{R}^{+*}$:
$$f(x) - \frac{C}{x} \hat{f}(\frac{1}{x}) =x^{\alpha}$$
Where $\hat{f}$ is the Fourier transform of $f(|x|)$ and $C$ a constant....
- 1,199
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 $...
- 509
3
votes
2
answers
1k
views
Limit of the logarithm of the $L^p$ norm over the logarithm of $p$ as $p$ goes to infinity
Let $\mu$ be some positive measure on $\mathbb{R}$. For technical reasons, I would like to know if the limit
$$\lim_{p\rightarrow\infty}\frac {\ln \|f\|_{L^p(\mu)}}{\ln p}$$
exists in $[0,\infty]$ for ...
- 128k
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))?$$
- 28k
2
votes
0
answers
70
views
Can the STFT decrease arbitrarily quickly near the origin?
For $f,g \in L^2(\mathbb{R}^d)$ we can define the Short Time Fourier Transform (STFT) $V_gf \in C_0(\mathbb{R}^{2d})$ as $$V_gf(x, \omega) = \int_{\mathbb{R}^d} f \overline{g(t - x)} e^{-2 \pi i t \...
- 1,010
5
votes
2
answers
631
views
Proving that a complicated function is eventually concave
I have a function $f:\mathbb{R}^+ \to \mathbb{R}^+$ that I want to prove is eventually concave - i.e. that there exists $\gamma _0 > 0$ such that for every $\gamma>\gamma_0$, $f(\gamma)$ is ...
- 1,228
14
votes
6
answers
3k
views
What's a natural candidate for an analytic function that interpolates the tower function?
I know that there are analytic functions whose composition with itself is the exponential function, the so-called functional square root of the exponential function, with the additional property that ...
- 5,342
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 ...
- 7,817
3
votes
1
answer
318
views
On some points of Bari's theorem
I am looking to prove some parts of Bari's theorem (1946). Let $H$ be a Hilbert space, and let $(e_n)_{n \in \mathbb{N}}$ be an orthonormal basis of $H$. Let $(x_n)_{n \in \mathbb{N}}$ be a sequence ...
- 60.5k
2
votes
1
answer
183
views
A minimal sequence in $L^2([-\pi, \pi])$
Let $\lambda_n = n + \delta_n $ for all $n \in \mathbb{Z}$ where $\delta_n$ are a sequence of real numbers in $\ell^2(\mathbb{Z})$. How can one show that the sequence $(x_n)_{n \in \mathbb{Z}} = (e^{i ...
- 2,429
5
votes
2
answers
623
views
Completeness of an exponential family
The question is this: Does there exist an integrable function $f\colon\mathbb R\to\mathbb R$ such that $f$ differs from $0$ on a set of nonzero Lebesgue measure and
\begin{equation}
\int_{\mathbb R}...
2
votes
0
answers
89
views
Extension of a generalized function to the plane
Let $\phi$ be a generalized function on $\mathbb{R}^2\backslash\{0\}$, and assume that its differential $d\phi$ extends to the whole plane $\mathbb{R}^2$.
Q. Does $\phi$ also extend to $\mathbb{R}^...
- 66.3k
4
votes
1
answer
2k
views
On the nascent delta 'function'
I have two questions regarding the sinc function in the weak limit, where it can be used as a nascent delta function.
The definition:
$\lim_{\varepsilon \rightarrow 0}\frac{1}{\pi }\int_{-\infty}^{\...
- 1,228
-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$.
- 1,190
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 = ...
4
votes
0
answers
125
views
Properties of solution to Schrödinger equation
Given a Schrödinger equation with, let's say continuous, periodic potential
$$-y''(x)+V(x)y(x)=\lambda y(x)$$
where $V(x+1)=V(x)$ and $V$ is even, i.e. for $x \in (0,\frac{1}{2})$ we have $V(x+\frac{...
- 24.2k
4
votes
2
answers
410
views
Asymptotic behavior of the solution of the high degree differential equation $(x^{2n}y^{(n)})^{(n)}-x^2y=\lambda \; y$
The following differential equation has two independent solutions, one of the two is decreasing exponentially at infinity (k-Bessel function).
$$(x^2y')'-x^2y=\lambda \;y$$
Now for a higher-degree ...
- 356
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 ...
- 17.2k
0
votes
1
answer
186
views
Meromorphic solutions to Legendre's equation
I just saw the following question that was asked yesterday on math overflow on meromorphic solutions to ODEs
Although, I understand the answers and comments to the questions, I did not understand how ...
- 91.8k
2
votes
2
answers
258
views
Meromorphic extension of solutions to ODEs
I encountered the following question in my studies:
Let us assume we have a real anlaytic solution to an ODE on $\mathbb{R}$ of Schr\"odinger type
$-\psi''(x)+V(x)\psi(x)=\lambda \psi(x)$
but we ...
- 91.8k
2
votes
0
answers
79
views
One-dimensional integral equation uniquely solvable?
I recently met a question similar to this one and I would like to post it here, because I basically found nothing:
We define the (possibly unbounded) integral operator $T:D(T) \subset C_0(\mathbb{R}) ...
- 473
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$$
$$...
- 18.7k
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 ...
- 183
5
votes
3
answers
3k
views
What is the $L^p$-norm of the (uncentered) Hardy-Littlewood maximal function?
The (uncentered) Hardy-Littlewood maximal function $M(f)$ of (a locally integrable) function $f$ on $\mathbb{R}^{n}$ is defined by the rule $M(f)(x)=\sup_{\delta>0,\left|y-x\right|<\delta} \text{...
- 4,713
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 \...
- 52.3k
1
vote
1
answer
262
views
Relationship between $f(t,x)$ as $t \to \infty$ and $f(t/\epsilon, x/\epsilon^2)$ as $\epsilon \to 0$ (periodic functions)
Let $f: (0,\infty)\times \mathbb {R} \to \mathbb{R}$ be $1$-periodic in the second variable and in $L^\infty((0,\infty)\times \mathbb{R}).$ If it is necessary, we can also assume $f$ to be continuous. ...
- 16.4k
2
votes
0
answers
350
views
Fractional iteration of a variant of the $\sin()$ function - how to fractionally iterate $ f(x)=\sum_{k=1}^\infty (-1)^k a_{2k}x^{2k}$?
I was reconsidering the fractional iteration of the sine-function and remembering that the power series for the fractional iterates have convergence radius zero I looked at the variant of the sine ...
- 5,342
5
votes
2
answers
840
views
Decompostition of a Lipschitz domain
We say that $\Omega$ is a strongly star shaped domain (with respect to $0$ for example) in $\mathbb R ^n$ if:
$$\Omega = \{x\in \mathbb R ^n : \left \| x \right \| < g(\frac{x}{\left \| x\right \...
- 4,713
4
votes
2
answers
1k
views
Can we extract information about how fast a function decay from its Laplace transform?
My question is whether we can extract information about how fast an integrable function converges to zero by looking at the asymptotics of its Laplace transform.
More concrete case, let $f:\mathbb{R} ...
- 2,600
2
votes
2
answers
261
views
Viscosity solutions for $u'(x) + \alpha u(x) - f(x) = 0$: supersolutions dominate subsolutions
Let $$u'(x) + \alpha u(x) - f(x) = 0,$$ with $x \in [0,\infty)$ and $\alpha \in \mathbb{R}$. Suppose $f \in C(\mathbb{R})$.
If
$u_1$ is a viscosity supersolution (or a viscosity solution, or a $C^...
- 671
2
votes
1
answer
265
views
characterization of normality by selection theorem
The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
- 4,713
15
votes
3
answers
2k
views
Asymptotic expansion of $\sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{n!{\sqrt{n}} }$
I've been trying to find an asymptotic expansion of the following series
$$C(x) = \sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{n!{\sqrt{n}} }$$
and
$$L(x) = \sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{...
CommunityBot
- 1
3
votes
1
answer
480
views
Is there a uniform upper bound for this oscillatory integral?
I am wondering whether the following uniform upper bound holds:
$|\int_a^{2a}\frac1t\sin(N b^2t)\exp(iNbt^2)dt|\le Cab^2,$
where $0<a<b<1$, $N>N_0(a,b)\gg1$, and $C$ is a constant ...
- 31.5k
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
5
votes
1
answer
794
views
Can the Sobolev norm of order 1/2 detect "jumps"?
We are given a function $f: \mathbb R^d \to \mathbb R$. For simplicity we can assume that $f$ is smooth and compactly supported. Is the Sobolev norm of order $\frac{1}{2}$ strong enough to prove an ...
- 105
3
votes
0
answers
177
views
Interesting stipulation about completely monotone functions
This question relates to a question I asked here. I thought of a well thought out generalization which appears to follow in the situations I've encountered it. I tried to generalize the answer ...
CommunityBot
- 1
0
votes
1
answer
150
views
Solutions to Schrödinger equation parameter dependence
This is somewhat unrelated to what I normally do in mathematics, which is why it may be obvious to some of you, but I was puzzled by this:
If we look for classical solutions on $[0,1]$ to
$$-y''(x) =...
- 305