All Questions
Tagged with fa.functional-analysis ca.classical-analysis-and-odes
524 questions
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
6
votes
0
answers
208
views
Interpolation between (or: simultaneous Whitney extension for) $C^\alpha$ and $C^{1,\gamma}$ on a Lipschitz domain
I would like to know whether for a bounded Lipschitz domain $\Omega \subset \mathbb{R}^n$ (in the weak Lipschitz, so a "Lipschitz manifold", sense, not necessarily a Lipschitz graph domain), ...
- 2,670
6
votes
0
answers
411
views
Birth-Death Process associated with Orthogonal Polynomials
I have read in various places the following objects are related:
orthogonal polynomials
birth-death processes
Lattice paths
continued fractions
After a lot of searching online, I found sketches ...
- 22.8k
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
1k
views
Derivatives of $C^{\infty}$ non analytic function
Question: Given $f\in C^{\infty}$ which is not analytic on a bounded domain $\Omega \subseteq \mathbb{R}$. What can we say about the sequence $\lbrace f^{(m)} \rbrace _{m=1}^{\infty} $? Specifically - ...
- 3,574
5
votes
1
answer
1k
views
Analytic functions where all derivatives vanish at infinity and which are bounded
Let $C_0(\mathbb{R})$ denote the analytic functions $f : \mathbb{R} \rightarrow \mathbb{R}$.
I wonder whether there a functions $f \in C_0(\mathbb{R})$ with $f \neq 0$, such that there is a constant $...
- 749
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{...
- 1,993
5
votes
2
answers
707
views
Approximation of Hölder continuous functions "from below"
We assume that we have a $\alpha$-Hölder continuous function $f$ on an interval $[0,1]$ with $f(0)=0$.
I am wondering if there exists an explicit construction of a sequence $f_{n} \in C_c^{\infty}(\...
5
votes
2
answers
320
views
Uniqueness of solutions to an ODE system
For each $i$ (up to infinity), let $u_i \in C^1(0,T)$ satisfy
$$\frac{d}{dt}u_i(t) + \sum_{j=1}^\infty b(t;w_j,w_i)u_j(t) = 0$$
$$u_i(0) = u_i(T)$$
where $b(t;\cdot,\cdot)$ is an inner product on some ...
- 53
5
votes
2
answers
1k
views
Bruhat-Schwartz functions and derivatives in p-adic numbers
First of all, I am not an expert in neither classical, nor $p$-adic functional analysis, but anyway, I stumbled over the following lately:
Let $\varphi:\mathbb{Q}_p\rightarrow\mathbb{C}$.
...
- 105
5
votes
5
answers
2k
views
A graduate course on Sturm Liouville theory?
I have some general questions on Sturm-Liouville theory. We are planning to introduce a graduate course on Sturm-Liouville theory and every one has been asked to propose topics which might be suitable ...
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
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 \...
- 291
5
votes
3
answers
490
views
Continuity with values in L^2
Hi,
let $T>0$, $\Omega\subset\mathrm{R}^n$ be a bounded smooth domain and suppose
$$u\in L^2(0,T;W^{1,2}(\Omega))\cap L^\infty((0,T)\times\Omega))\ \text{and } \partial_tu\in L^2(0,T;W^{-1,2}(\...
- 103
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
566
views
Could we interpolate the compactness of compact operators?
Classical theorems of Marcinkiewicz and Riesz and their extensions to general Banach spaces by Calderón, Lions, Peetre, et al. allow us to interpolate the continuity of two operators, viz., the ...
- 1,202
5
votes
2
answers
774
views
Can we calculate the inner product of a semicontinous function with the Dirac delta function?
Dear all,
It is clear that if $f:R\mapsto R$ is a continuous function, than $< f, \delta_x >=f(x)$. Now, if $f$ is only semicontinous, can we say that $< f, \delta_x >=f(x)$? I think this ...
- 1,649
5
votes
2
answers
3k
views
Uniform convergence of difference quotient
Let $\phi\in C^\infty_c(\mathbb R)$ be a smooth function with compact support.
For $h>0$ define the difference quotient $\phi_h\in C^\infty_c(\mathbb R)$ by $\phi_h(t)=\dfrac{\phi(t+h)-\phi(t)}{h}$...
- 3,174
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 ...
- 392
5
votes
2
answers
134
views
Prove that $K \ast f \in W^{1,\infty}(\mathbb R)$ if $K \in BV(\mathbb R)$
Let $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$. Do these assumptions suffice to prove that for the convolution $K \ast f$ we have that $$K \ast f \in W^{1,\infty}(\mathbb R)$$ ...
- 131
5
votes
1
answer
430
views
Oscillation and Hölder continuity
Where can I find a proof of the following fact?
If
$$w(u,x_{0},r)=\sup _{B_{r}(x_{0})}u-\inf _{B_{r}(x_{0})}u$$
for some function $u(x)$ satisfies
$$ w\left(u,x_{0},{\tfrac {r}{2}}\right)\leq \lambda ...
user60665
5
votes
1
answer
136
views
Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'
Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?:
Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...
- 1,771
5
votes
1
answer
503
views
Approximating high-dimensional integrals by low-dimensional ones
This question is motivated by the following naive one: suppose we have a nice subset $X$ of some Euclidean space, say a polyhedron, and a nice $\mathbb{R}$-valued function $f$ on this subset, say a ...
- 23.5k
5
votes
1
answer
151
views
On existence of a concave function
Let $a$ be a strictly positive $C^\infty$ smooth function on the unit interval. Does there exist a strictly positive $C^\infty$ smooth function $f$ on $I$ such that
$$ f’’(x) \leq 0\quad \text{and} \...
- 4,135
5
votes
1
answer
170
views
Regular Lagrangian flow for "square root example": $\frac{d}{dt} X(t,x) = \sqrt{X(t,x)}$
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \sqrt{X(t,x)}, &t \in [0,T],\\
X(0,x) = x, &x \in \mathbb R
\end{cases}
$$
This is the prototype of non-uniqueness ...
- 839
5
votes
1
answer
492
views
Modulus of continuity of flow for non-Lipschitz vector fields satisfies Osgood condition
An Osgood modulus of continuity is an increasing function $\omega:(0,1]\to(0,1]$ such that $\int_0^1\frac{dt}{\omega(t)}=\infty$.
We say a vector field $X$ satisfies Osgood condition with modulus $\...
- 938
5
votes
1
answer
450
views
Brascamp-Lieb inequalities on the sphere
In the paper [CLL], Carlen, Lieb, and Loss demonstrate a version of the Young inequality on the sphere $S^{N-1}$ in $\mathbb{R}^N$. For positive functions $f_j$ on $[-1,1]$, the following bound holds:...
- 452
5
votes
1
answer
187
views
Getting out a system of linear ODEs by knowing the Magnus expansion
Assume we are given for a transition between two time points $t_0 = 0$ and $t_1$ a matrix relationship, eventually describing the solution of a system of linear with non-constant coefficients,
$$Y(t_1)...
- 749
5
votes
1
answer
496
views
Spectrum of this ODE
I noticed something interesting studying this Sturm-Liouville Problem:
$$ \frac{d}{dx}\left(\sqrt{(1-x^{2})}\frac{df}{dx} \right)+\frac{\left(n \alpha x+\alpha^2 x^{2} + \lambda\right)f}{\sqrt{(1-x^{...
user54300
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 ...
- 570
5
votes
1
answer
297
views
A scaled fractional ''Sobolev inequality''
Does a fractional interpolation inequality similar to $$
\int_{B_R(0)} |u| dx \le C R^{2} \sqrt{\log(2R)} \Big( \int_{\mathbb R^2}\int_{\mathbb R^2} \frac{|u(x)-u(y)|^2}{|x-y|^{2+2s}} dxdy + \int_{B_1(...
- 109
5
votes
1
answer
170
views
Ratio of integrals with increasing dimension over Euclidean balls
Let $f_n(x)\geq0$ be any sequence of nonnegative $L^1(\mathbb{R}^n)$ functions such that $\int_{\mathbb{R}^{n}}f_n(x)dx=1$ where $dx$ is the Lebesgue measure on $\mathbb{R}^n$. For any $a>1,\...
- 1,495
5
votes
1
answer
403
views
Local form of a real-analytic function taking values in a Banach space
Let $B$ be an infinite-dimensional Banach space, and let $M\subset\mathbb{R}^n$ be a neighborhood of the origin in $\mathbb{R}^n$.
Suppose that $I:M\to B$ is a real-analytic function with $I(0)=0$ ...
- 6,548
5
votes
2
answers
622
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}...
- 128k
5
votes
0
answers
168
views
Sobolev extension from a discrete set of points
Let $1 > \alpha > 0$ and fix some $C > 0$. Consider $\Omega \subset \mathbb{R}^n$ a bounded domain and $Y \subset \Omega$ a discrete (finite) set of points. For $f: Y \to \mathbb{R}$ define
$$...
- 501
5
votes
0
answers
91
views
Reference request: sufficiently smooth functions on the plane belong to the projective tensor square of $L^2$ of the line
Let $\newcommand{\ptp}{\widehat{\otimes}}\ptp$ denote the projective tensor product of Banach spaces. Some back of the envelope calcuations, using the Fourier transform and Plancherel/Parseval, ...
- 25.8k
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
5
votes
0
answers
141
views
Rate of convergence of Riemann sum of quasi-regular functions
The following result is well-known (I consider the 3-dimensional case only):
Theorem: if $f \in H^s(\mathbb{R}^3)$ with $ s > 3/2$ is compactly supported, then
$$
\left| \int_{\mathbb{R}^3} f - \...
- 53
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
5
votes
0
answers
584
views
Constructing a Sobolev space containing the differential k-forms of a Riemannian manifold
I am currently writing a paper about the Hodge theorem for an algebraic topology course. The specific formulation I am proving can be stated thus. Let $M$ be a compact, orientable n-dimensional ...
user34072
4
votes
2
answers
315
views
Is this an $L^p-L^{\infty}$ operator?
Let $1\leq p <\infty$ and let $p^{\prime}$ denote its conjugate exponent. Consider the following operator on Schwartz functions:
$$Tf(x)=\int_{0}^{\infty}t^{\frac{n}{2 p^{\prime}}-1}e^{-t}
\int_{|x-...
- 852
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
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} ...
- 1,839
4
votes
2
answers
610
views
Unit ball of the sum space
Let $V$ be a vector space and $\|\cdot \|_1$ and $\|\cdot\|_2$ two norms on $V$.
Let $\|\cdot\|_+$ be given by
$$ \|v\|_+ := \inf_{v = v_1 + v_2} \|v_1\|_1 + \|v_2\|_2 $$
It is well-known that $\|\...
- 39k
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 ...
- 1,199
4
votes
6
answers
2k
views
Real functions with finitely many zeroes
I am looking for as general a class as possible of real functions defined on $\mathbb{R}^+$ that are guaranteed to have a finite number of zeroes - no, polynomials are not enough :).
Specifically, ...
- 392
4
votes
3
answers
3k
views
Distributional derivative of non continuously differentiable functions
Hello,
let $f$ be a continuously differentiable function on $R^n$. Then its classical derivative and its distributional derivative coincide.
It is known (cf. Rudin, Functional Analysis, Sect. 6.13) ...
- 5,327
4
votes
2
answers
974
views
Wightman fields vs local functionals vs operators
In QFT literature one wants to look at $n-$point correlation functions of "operators" inserted at $x$ say, $\cal{O}(x)$ and if $\phi_i$ are the fields then the quantity one has in mind is written as, $...
- 3,541