All Questions
Tagged with fa.functional-analysis real-analysis
1,447 questions
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
user136577
3
votes
0
answers
235
views
Chern number of projection-Topological magic in physics
I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
- 31
3
votes
0
answers
383
views
What tools from functional analysis are relevant to investigating this operator?
Given a sequence of continuous functions ${{f_n}}$, define the varicontinuity index $$V({f_n}): \mathbb{R} \to [0, \infty]$$ by
\begin{split}
V({f_n})(x) &=\sup \Big\{\varepsilon > 0\big|\; \...
- 2,069
3
votes
0
answers
97
views
Notions of $\beta$-Hölder smoothness when $\beta\in (1,2]$: are they equivalent?
I posted the following question on StackExchange a few months ago (https://math.stackexchange.com/questions/2898620/notions-of-beta-h%C3%B6lder-smoothness-when-beta-in-1-2-are-they-equivalent), but ...
- 31
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
3
votes
0
answers
63
views
Is the collection of Schur convex functions sequentially compact?
We know in ROCKAFELLAR's convex analysis chap 10 that the collection of uniformly bounded convex functions on compact set is sequentially compact. I wonder if it is still true for the collection of ...
- 185
3
votes
0
answers
280
views
Helmholtz-Hodge decomposition
I have a question regarding a decomposition of a vector field. So fix $ 1<p<\infty$ and let $ \Omega$ denote a smooth bounded domain in $ R^N$. Now let $ F $ denote a smooth vector field $F:\...
- 1,385
3
votes
0
answers
214
views
Is flatness of Wigner Ville Distribution of error function in Fourier Approximation possible? Is it required?
For a real valued function $f(t)$ I want to check the information left, after taking a Fourier partial sum/integral. Let $\hat{f}$ be its Fourier transform and let $$e_{\omega}(t) = f(t) - \int\...
- 698
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 ...
user78249
3
votes
0
answers
235
views
Is this "differentiation map" uniquely determined by these properties?
Let $A$ be the set of all real-valued functions having their domain a subset of $\Bbb R$ which are at least differentiable on an open set, and for $f \in A$, let $U_f$ be the largest open set on which ...
user101261
3
votes
0
answers
306
views
Metric analogues of bounded variation
A function $f:[a,b]\to\mathbb{R}$ is said to be of bounded variation if
$$ \sup_I \sum_{i=1}^n |f(x_i)-f(x_{i-1})| \le V $$
for some finite $V>0$, where the supremum is over all finite partitions
$...
- 6,541
3
votes
0
answers
74
views
Semi-continuity of the dimension of the null space
Suppose $T_n : X \rightarrow X$ is a sequence of Fredholm operators on a Banach space such that $T_k \rightarrow T$ strongly (in the induced operator norm). If $N_k$ and $N$ denote the dimensions of ...
- 537
3
votes
0
answers
262
views
About the small set expansion conjecture
Given a graph $G=(V,E)$ and a $\delta > 0$ one wants to calculate $h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert } \phi(S)$. ($\phi(S) = \frac{ E(S,\bar{S}) }{d min \{\vert S \vert , n - \...
- 1,893
3
votes
0
answers
187
views
An upper bound for a average of a function in $L_{p}([0,1))$
Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j},~
1\leq j \leq 2^{n} \}
\right\} \right)_{n ...
- 103
3
votes
0
answers
295
views
Density of function spaces
Let $\Omega$ be a subset of either $\mathbb{R}^n$ ($n\geq 3$, if it matters) or of a compact manifold. In either case, we'll call the manifold $M$. Let $V_i\subset V_{i+1} \subset \Omega$ be an ...
- 83
3
votes
0
answers
171
views
Generalized family of Hölder inequalities
Is the "only if" direction of the following fact known?
For fixed sequences $(a)_i = a_1, \dots, a_r$, $(b)_i = b_1, \dots, b_r$ and $(c)_i = c_1, \dots, c_r$, the inequality $\prod_{i = 1}^...
- 31
3
votes
0
answers
860
views
decreasing rearrangements: why the asymmetry of measure-preserving maps?
Ryff proved in 1970 that the decreasing rearrangement $f^*$ of a, say, continuous function $f:[0,1]\to\mathbb{R}$ admits a measure preserving map $\phi$ such that $f=f^*\circ\phi$. In general it is ...
- 16.6k
3
votes
0
answers
409
views
Continuous function sort
If you have a real-valued function f(x), positive, continuous and bounded on some interval, then what kind of transform would convert this to a monotonic function g(x) on that interval analogously to ...
- 529
3
votes
1
answer
355
views
convex function with distributional Hessian $D^2 f \leqslant \lambda$, $\lambda$-concave?
Let $f:R^n \to R$ be convex (may not $C^1$), $$[D^2f]=[D^2f]_{ac}+[D^2f]_s=[h_{ij}] L^n+[D^2f]_s$$ is the Lebesgue decomposition of the Hessian matrix. Where $[h_{ij}]$ is the density w.r.t the ...
- 471
2
votes
3
answers
216
views
Equivalence of operators
let $T$ and $S$ be positive definite (thus self-adjoint) operators on a Hilbert space.
I am wondering whether we have equivalence of operators
$$ c(T+S) \le \sqrt{T^2+S^2} \le C(T+S)$$
for some ...
- 23
2
votes
2
answers
235
views
$L^p$ domination of mixed partial derivatives of the 3rd order by the unmixed ones?
Is it true that for each real $p>1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^3$ one has
$$\|D_1D_2D_3u\|_p\le C_p(\|D_1^3u\|_p+\|...
- 128k
2
votes
1
answer
433
views
Stone-Weierstrass theorem: coefficients of approximating sequence bounded?
Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a subalgebra of $C(X;\mathbb{R})$.
The Stone-Weierstrass theorem asserts that if $\mathcal{A}$ contains the constants and separates the points ...
- 463
2
votes
1
answer
380
views
Sequence of tending to zero functions that majorizes any other tending to zero function
Does there exist a sequence of decreasing continuous functions $(f_n)_{n\in\mathbb{N}}$ satisfying the following two conditions?
For every $n\in\mathbb{N}$, $\lim_{x\to\infty}f_n(x)=0$;
For any other ...
- 143
2
votes
1
answer
260
views
An elementary functional inequality
Let $g$ be a $C^1$ function with $g(0)=0$ and $g(t)>0$ for all $t>0$. I am surprised that for all such $g$ the following seems to hold
$\frac{\int_0^t(g'(s))^2ds}{g^2(t)}\geq \frac{1}{t}$ for ...
2
votes
3
answers
3k
views
Extension of pointwise convergence of a sequence of uniformly continuous functions that converges on a dense set
It is known that a sequence of continuous functions on a metric space that converges pointwise on a dense subset need not converge pointwise on the full space. But what about if one assumes uniform ...
- 777
2
votes
3
answers
947
views
How can I measure the Morse index in infinite dimensions?
Let $V$ be a vector space over $\mathbb R$, and $a: V\otimes V\to \mathbb R$ a symmetric bilinear pairing. Recall that the Morse index of $a$ is the maximal dimension of any subspace $V_- \subseteq V$...
- 54.6k
2
votes
2
answers
176
views
Direct limit of the sequence $E_{0} \hookrightarrow E_{1} \hookrightarrow \cdots$ in the category of Banach spaces
Recently I have been reading the paper The categorical origins of Lebesgue integration by Tom Leinster (https://arxiv.org/pdf/2011.00412.pdf). In this paper, he said that：
For $n \geq 0$, let $E_{n}$ ...
- 123
2
votes
2
answers
154
views
Closure of $C([0,1]^2)$ via weak*-topology [closed]
Let $C([0,1]^2)$ denote the set of continuous functions on $[0,1]^2$. Let $L^1([0,1]^2)$ be the set of all Lebesgue integrable functions on $[0,1]^2$.
The dual space of $C([0,1]^2)$, denoted by $C^*([...
- 359
2
votes
2
answers
197
views
$L^p$ domination of mixed partial derivatives by the unmixed ones?
Is it true that for each real $p\ge1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^2$ one has
$$\|D_1D_2u\|_p\le C_p(\|D_1^2u\|_p+\|D_2^...
- 128k
2
votes
2
answers
1k
views
Decay estimate of Fourier transform of a compactly supported function
Assume $f(x), x \in \mathbb{R}$ is a function with a compact support such that its Fourier transform $\hat{f}(\xi)$ has a decay rate
$$\hat{f}(\xi) \lesssim \frac{1}{|\xi|^\gamma + 1}$$
for some $\...
- 903
2
votes
2
answers
111
views
points separation and dimensions [closed]
Suppose $\mathcal{A}$ is a sub-algebra of $C([0,1],\mathbb{R})$.
If $\mathcal{A}$ separates points in $[0,1]$, does it follow $\dim\mathcal{A}=\infty$?
- 309
2
votes
1
answer
118
views
Proving that a polynomial $f(x,y)$ that is unbounded in every direction is bounded below by $1$ outside of a disc of finite radius
This is a follow up from this question.
I have a polynomial function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the ...
- 765
2
votes
2
answers
281
views
Most general reverse Hölder inequality for polynomials
Theorem. Let $m$ be an integer and $P_m$ the vector space of degree $m$ polynomials in one real variable. There is a constant $C$ such that, for all $a<b$ and $p \in P_m$,
$$\|p\|_{L^\infty(a,b)} \...
- 981
2
votes
2
answers
495
views
Polynomial approximation (Weierstrass theorem) with bounds
Consider the closed interval $[0,1]$ and let $f \in C[0,1]$. Let $g$ be a real valued function on $[0,1]$ such that $g \leq f$.
Suppose $g = f$ at atmost finitely many points. Does there exist a ...
- 431
2
votes
2
answers
150
views
Approximately complemented subspaces
Definition:
Suppose $E$ is a subspace of normed space $X$. Then $E$ is approximately complemented in $X$ if for any compact subset $K$ of $E$ and any $\epsilon>0$ there is a continuous linear ...
- 209
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 ...
- 167
2
votes
1
answer
3k
views
A simple question about the Hardy-Littlewood maximal function
Let $f\in L^1(\mathbb{R}^n)$. It is well known that the Hardy-Littlewood maximal function $Mf\notin L^1(\mathbb{R}^n)$ (if $f \ne 0$ a.e.), though there is a weak-type (1,1) bound for this maximal ...
- 171
2
votes
3
answers
3k
views
dual space of a subspace of the space of bounded measures
Let $\mathcal{M}=\mathcal{M}(\mathbb{R})$ be the space of bounded measures. Equipped with the weak convergence, the dual space of $\mathcal{M}$ is $\mathcal{C}_b(\mathbb{R})$ consisting of continuous ...
- 1,835
2
votes
2
answers
2k
views
Does the Fourier series of an $L^1$ function converge to the function *weakly* in $L^1$?
Let $f$ be a periodic $L^1$ function, and $S_n[f]$ the $n$-th partial sum of its Fourier series. I am aware that $S_n[f]$ might not converge toward $f$ in $L^1$ (i.e., in norm). However, does it at ...
- 32.5k
2
votes
2
answers
1k
views
Characterization of Weakly measurable functions
I wonder if we can characterize weak measurability of a function taking values in a Banach space using sequence of step functions (functions that have finite range) just like how we define strong ...
- 23
2
votes
4
answers
3k
views
Splitting a space into positive and negative parts
Let $V$ be a vector space over $\mathbb R$. A symmetric bilinear pairing on $V$ is a linear map $a: V\otimes V \to \mathbb R$. Because $\mathbb R$ is characteristic not-two, I will freely confuse ...
- 54.6k
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
220
views
Diagonalise self-adjoint operator explicitly?
Consider the linear constant coefficient differential operator
$P$ on the Hilbert space $L^2([0,1]^2;\mathbb C^2)$
$$P= \begin{pmatrix} D_{z}+c & a \\ b & D_{z}+c \end{pmatrix}$$
where $D_z=-...
- 536
2
votes
1
answer
137
views
Approximating a limit of an integral
How can we prove the following asymptotic lower bound for the regularized Beta function when $n\rightarrow\infty$?
$$\int_0^{1} I_{2 t - t^2}\left(\frac{n - 1}{2}, \frac{1}{2}\right) dt=\Omega\left(\...
- 1,677
2
votes
1
answer
403
views
The set of Upper semi-continuous functions as a ring.
I should recall that the surgenfery topology on the real numbers is denoted by $\mathbb{R}_l$, and has the set
{$[a , b): a,b \in \mathbb{R} $} as it's base.
If $X$ is a topological space, an upper ...
- 1,788
2
votes
1
answer
211
views
Hölder continuity in time of heat semigroup for regular initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e.,
$$
p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \...
- 825
2
votes
1
answer
197
views
Prékopa-Leindler style inequality?
Does anyone know a simple proof of the following Prékopa-Leindler style inequality:
If we have $f_1,f_2,g_1,g_2$ strictly positive functions on $\mathbb{R}$ such that, for any $x_1,x_2 \in \mathbb{R}$,...
- 125
2
votes
1
answer
272
views
Decompose a function into a bounded part and a Lipschitz part
Let $f: \mathbb R^d \to \mathbb R^d$ be a measurable function such that
$$
\sup_{x,y \in \mathbb R^d} \frac{|f(x) - f(y)|}{\max \{1, |x-y| \}} < \infty.
$$
Are there functions $g,h: \mathbb R^d \...
- 825
2
votes
2
answers
307
views
Preimage of null sets under a monotone increasing function
Let $I\subseteq \mathbb{R}$ be a closed bounded interval and $f:I \to I$ a monotonic increasing function and $S$ the countable set of points $s$ such that $|f^{-1}(s)| > 1$. Is the following ...
- 113
2
votes
2
answers
290
views
Making sense of the limit $\lim\limits_{x \to y} T(x,y) $ for a tempered distribution $T$ on $\mathbb{R}^{2n}$
I already posted a similar question on MO and looked into the references therein.
However, I cannot find a satisfactory answer for my question..So I ask here again in a more refined form.
Let $T \in \...
- 3,477