Questions tagged [fa.functional-analysis]

Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

Filter by
Sorted by
Tagged with
0 votes
0 answers
24 views

Maximizing the integral of a transformation that depends on a neighborhood of values of the original function

I'm not an expert in analysis whatsoever, so I might be posing a well-established question, or even an unanswerable one. We are working with non-negative real functions over a sufficiently nice region ...
Juan Meleiro's user avatar
0 votes
1 answer
142 views

Check an equation on the Heisenberg group $H_1$

The Heisenberg group $H_1$ is the set $\mathbb C\times \mathbb R$ endowed with the group law $$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right); \quad \forall z,w \in \mathbb C\,...
Z. Alfata's user avatar
  • 640
2 votes
1 answer
162 views

Functions with asymmetrically decreasing Fourier transform?

$\def\ii{{\rm i}}\def\bbR{\mathbb R}\def\bbC{\mathbb C}\def\bbNo{\mathbb N_0}\def\Fou{\mathscr F}$Specifically, I would like to have a compactly supported continuous function $f=u+\ii\,v:\bbR\to\bbC$ ...
TaQ's user avatar
  • 3,348
0 votes
1 answer
37 views

Norm of a $2$-tuple of operators

Let $E$ be a complex Hilbert space and $K_1,K_2$ are bounded linear operators on $E$. Let $\omega(K_1)$ and $\omega(K_2)$ be the numerical radius of $K_1$ and $K_2$ respectively. That is \begin{align*}...
Student's user avatar
  • 1,154
0 votes
1 answer
109 views

Is the space $C_0^{k}(\Omega)$ a Montel space?

I asked this question in the MathStackExchange, but I think I'm not get any answer. I'm trying to find a reference for the following result: Theorem: Let $\Omega$ be a open subset of $\mathbb{R}^{d}$ ...
Math's user avatar
  • 481
0 votes
0 answers
85 views

Analogue of $\ell^2(X)$ over an arbitrary Banach ring

Let $X$ be a set. Over the Banach fields $F=\mathbb{R}$ or $F=\mathbb{C}$ we can define the Banach space$$\ell^2(X)=\{\xi\colon X\to F\mid \sum_{x\in X}|\xi(x)|^2<\infty\}$$which satisfies a list ...
Luiz Felipe Garcia's user avatar
2 votes
1 answer
127 views

Example of a conditionally convergent series $\sum_{n=1}^\infty b_n$ such that $n^2(b_n-b_{n+1})$ is bounded

Let $(b_n)_{n \in \mathbb{N}}$ be a real sequence such that $(nb_n)$ is bounded. I know that if the series $\sum_{n=1}^\infty b_n$ is conditionally convergent, then $(n^2b_n)_n$ is not bounded. But, ...
Kanydo Mat's user avatar
0 votes
1 answer
87 views

How to understand the unique continuation result

Let $E$ be the closure of $C_c^{\infty}\left(\mathbb{R}^N\right)$ ($N \geqq 3)$ under the norm $$ \|u\|_E=\left(\int_{\mathbb{R}^N}|\nabla u|^2\right)^{1 / 2}. $$ Suppose $K(x) \in C^1\left(\mathbf{R}^...
Davidi Cone's user avatar
3 votes
1 answer
117 views

Does the union of fractional Sobolev spaces fills $L^p$?

Let $\Omega\subset \Bbb R^d$ be any open set. Recall that for $s\in (0,1)$, the fractional Sobolev space $W^{s,p}(\Omega)$ is the collection of function in $L^p(\Omega$ such that \begin{align*} \iint_{...
Guy Fsone's user avatar
  • 1,033
1 vote
0 answers
100 views

Mulitplicity one property for $\mathcal{D}'$ and $L^2$ over a homogeneous space

Let $G$ and $G_0$ be Lie groups, and suppose that a homogeneous space $X=G/G_0$ have a $G$-invariant measure. It is known (E.G.F. Thomas showed) that there is an admissible parametrization $\{\mathcal{...
user509119's user avatar
4 votes
2 answers
169 views

Simple proof that exactness implies strong mixing

Let $f$ be a continuous map defined on a compact metric space $X$. Suppose that $f$ preserves the Borel probability measure $\mu$ and that, for every positive-measure set $A\subseteq X$, we have $$\...
Uagi's user avatar
  • 63
7 votes
2 answers
280 views

Integral means vs infinite convex combinations

Let $(X,\mathcal A, \mu)$ be a probability space, $\mathbb E$ a Banach space, and $f:X\to\mathbb E$ a Bochner integrable function. Does there exist a sequence $(x_k)_{k\ge 1} $ in $X$, and a ...
Pietro Majer's user avatar
  • 56.5k
1 vote
0 answers
26 views

Can a lift satisfy Chen's relation, geometric condition but not be a rough path?

Let $(X,\mathbb X):[0,1]^2\to \mathbb R^d\oplus\mathbb R^{d\times d}$ satisfy the following four properties: \begin{align} &X_{s,t}=X_{0,t}-X_{0,s}\\ &\sup_{t\neq s}\frac{|X_{s,t}|}{|t-s|^\...
user479223's user avatar
  • 1,250
2 votes
0 answers
29 views

Is there any example of linear operator which is bounded on all Besov spaces but not on Triebel-Lizorkin spaces

Is there any linear operator $T:S'(\mathbb R^n)\to S'(\mathbb R^n)$ such that $T:B_{pq}^s(\mathbb R^n)\to B_{pq}^s(\mathbb R^n)$ for all $0<p,q\le\infty$ and $s\in\mathbb R$, but there exist a $F_{...
Liding Yao's user avatar
2 votes
1 answer
79 views

On compactly supported functions with prescribed sparse coordinates

Let $\{\phi_n\}_{n=1}^{\infty}$ be an orthonormal basis for $L^2((0,1))$ consisting of Dirichlet eigenfunctions for the operator $-\partial^2_x + q(x)$ where $q \in C^{\infty}_c((0,1))$ is fixed. ...
Ali's user avatar
  • 4,077
4 votes
1 answer
146 views

Bound in terms of harmonic oscillator

I wonder if the following is true: Let $\alpha >0$ be a positive real number, do we have $$\Vert H^{\alpha} \psi''\Vert \le \Vert H^{\alpha+1} \psi\Vert,$$ where $H = -\frac{d^2}{dx^2} + x^2$ is ...
António Borges Santos's user avatar
1 vote
0 answers
38 views

If a weighted Laplacian's eigenfunction is zero in an open set, when is it identically zero?

Let $m, s \in ([0, 1]^d \rightarrow \mathbb{R}_{\geq 0}$). Define a weighted Laplacian $\Delta_{m, s}f$ evaluated at $x \in [0, 1]^d$ to be: $m(x) \cdot \text{div} ( s(x) \nabla f(x))$. What ...
Timothy Chu's user avatar
5 votes
1 answer
274 views

Does the Poincaré inequality hold on annular domains?

Does the following Poincaré inequality hold $$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$ where $B_r$ denotes a ball of radius ...
Student's user avatar
  • 653
8 votes
0 answers
149 views
+100

L^2 polynomial approximation in higher dimensions

Let $\mu$ be a measure on $\mathbb{R}^n$ I'm looking for known upper-bounds on $$\| f-P_m \|_{L^2(\mu)} $$ where $P_n$ is the orthogonal projection of $f$ onto the polynomials of degree less than $m$. ...
Gericault's user avatar
  • 225
0 votes
0 answers
20 views

Directions of differentiability of log-concave measures with infinite-dimensional support

I recently came across the very nice review "Differentiable Measures and the Malliavin Calculus" by Bogachev (1997) which begins by discussing measures $\mu$ on locally convex spaces $X$ ...
iolo's user avatar
  • 611
1 vote
0 answers
63 views

Uniform approximation over compacts using weighted function spaces

I'm interested in approximations over the so-called weighted function spaces. Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
Gaspar's user avatar
  • 81
0 votes
1 answer
78 views

A simple bilinear estimate

Let $2\leq p,q <\infty$ and fix $0<\alpha<1$ such that $\frac{1}{p}+\frac{1}{q}\leq 2-\alpha$. Suppose that $f\in L^{p}([0,1])$ and $g\in L^{q}([0,1])$. What is the optimal value of $t=t(\...
Medo's user avatar
  • 698
2 votes
0 answers
65 views

An example of an $\mathcal{L}_\infty$ Banach space with property p-(V) and without property (V)

Here are the definitions for property $p$-$(V)$ and property $(V)$. A Banach space $X$ has property $(V)$ if and only if every unconditionally converging operator $T$ from $X$ to any Banach space $Y$ ...
Ioana Ghenciu's user avatar
7 votes
1 answer
330 views

Proving the inequality involving Hausdorff distance and Wasserstein infinity distance

Prove the inequality $$d_{H}(\mathrm{spt}(\mu),\mathrm{spt}(\nu))\leq W_{\infty}(\mu,\nu)$$ where $d_H$ denotes the Hausdorff distance between the supports of the measures $\mu$ and $\nu$, and $W_\...
Luna Belle's user avatar
2 votes
1 answer
186 views

Combination of simple tensors - II

This is a follow-up question to Combination of simple tensors. I am interested in devising an alternative norm (I mean, other than the usual $\pi$ or $\epsilon$ norms) in the tensor product of two ...
Lorenzo Guglielmi's user avatar
-3 votes
1 answer
60 views

Minimal norm problem with linear combination of translation operator to be estimated

Follow up question from this one Suppose $X = L^2(G)$, where $G$ is some locally compact group. Let $x, y \in G$ I for fixed $n$ I am seeking for an operator $H \in B(X)$ of the form $$ H = H(\alpha_1,...
user8469759's user avatar
0 votes
0 answers
77 views

Verifying the Cauchy behavior of a sequence

Let me consider the iteration $x_{n+1}=Tx_n$ and $T$ is a self-map from a non-empty subset $K$ of a smooth Banach space $X$ to itself, satisfying $W(Tx, Ty) \leq W(x, y)$, where $W(x, y)=\Vert x \Vert^...
PPB's user avatar
  • 75
0 votes
1 answer
97 views

Minimal norm problem whose unknown is an operator

Generally given an Hilbert space $X$ with and a bounded linear operator $H : X \to X$ given a vector $y \in X$ we seek an $x \in X$ such that $$ f(x) = \frac{1}{2} \left\lVert Hx - y \right\rVert_2^2 $...
user8469759's user avatar
3 votes
2 answers
376 views

Monotonicity of matrix conjugation

Let $A$ and $B$ be positive-definite matrices such that $A \le B.$ By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$ I am now curious under ...
António Borges Santos's user avatar
2 votes
1 answer
282 views

Fourier series but different waveform

Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
Zhang Yuhan's user avatar
0 votes
0 answers
25 views

reference request: mercer expansion and kernel underlying Sobolev spaces?

Let us define the periodic Sobolev spaces, for $s > n/2$ by $$ H_{s}([0, 1]^n) = \{f : [0, 1]^n \to \mathbb{R} :\mbox{for}~j\leq s, f^{(j)} |_{\partial[0, 1]^n} \equiv 0, ~~ \int_{[0, 1]^d} (f^{(s)...
Drew Brady's user avatar
-1 votes
2 answers
199 views

Determining if $\|f\|_\infty \leq C\, \|f\|_{2}^{2/3} $ holds under $f(0) = f(1) = 0$, $\|f'\|_2 \leq 1$

Suppose $f \colon [0, 1] \to \mathbb{R}$ is continuously differentiable, and satisfies $f(0) = f(1) = 0$ and $\|f'\|_2 \leq 1$. I am wondering if it there is a constant $C > 0$ such that for all ...
Drew Brady's user avatar
5 votes
1 answer
175 views

On a property for normed spaces

I asked this question on Math Stackexchange, but I didn't get an answer: https://math.stackexchange.com/questions/4881155/on-a-property-for-normed-spaces?noredirect=1#comment10410489_4881155 I came ...
Markus's user avatar
  • 1,361
2 votes
0 answers
87 views

An asymmetric quadrilinear estimate

Fix $1<p<2$ and let $a_{i}=1-\frac{\theta_{i}}{p^{\prime}}$ where $\theta_{i}\in (0,1/2)$, $i=1,2,3,4$, and $p^{\prime}$ is the conjugate exponent of $p$. Note here that $0<a_{i}=1-\theta_{i}+...
Medo's user avatar
  • 698
7 votes
0 answers
115 views

Stochastic analysis on nuclear Fréchet spaces

This is a reference request question, so to make it clear what I am after, I will give a quick outline of the area I am thinking in and some questions that arise. A lot of the time in infinite-...
J_P's user avatar
  • 439
0 votes
0 answers
46 views

Strong sub-differentiability of an equivalent strictly convex norm

First, we define the notion of strong sub-differentiability(SSD) of a norm on a Banach space $X$. The norm $\Vert \cdot \Vert$ of $X$ is said to be SSD if the one-sided limit $$\lim_{t \to 0+} \frac{\...
PPB's user avatar
  • 75
1 vote
1 answer
64 views

Norm of differentiation operator with respect to Gaussian norm

Here is a problem from Luenberger's optimization by vector space methods. I would appreciate steps to proceed. Let $\mathcal{P}_n\subset\mathbb{R}[x]$ be polynomials of degree at most $n\ge0$. Compute ...
Alexander's user avatar
  • 125
0 votes
1 answer
87 views

Approximating a sequence of tempered distributions "uniformly" by Schwartz functions

This question has been motivated by the post making sense of distributions on the diagonal. Let $T$ be a tempered distribution on $\mathbb{R}^2$ and $\eta$ be a given mollifier on $\mathbb{R}$. For $f ...
Isaac's user avatar
  • 2,727
3 votes
1 answer
90 views

Fredholm property of linearization of Floer map

I am reading Audin and Damian's book "Morse theory and Floer homology". In Proposition 8.1.4 which reveals the transversality property of moduli space of solutions of Floer equation, the ...
CharlieHo's user avatar
1 vote
1 answer
45 views

Zeros of Gram-Schmidt derived polynomials in weighted integral space

This is a problem out of Chapter 3 of Luenberger's Optimization by Vector Space Methods that I have been having trouble with. Any guidance would be appreciated. Let $w(t)$ be a positive (weight) ...
Alexander's user avatar
  • 125
2 votes
0 answers
79 views

What $1$-forms $\theta$ solve $\Delta \theta = f\theta$ for a smooth function $f$?

I have a seemingly basic question that I cannot find any literature on. Let $(M,g)$ be a smooth Riemannian manifold and let $\Delta:\Omega^1(M) \to \Omega^1(M)$ be the Laplace-De Rham operator on $1$-...
Julian Chaidez's user avatar
8 votes
1 answer
370 views

The cardinality of projections of subsets of the Hilbert cube by inner products

I have three related questions. Question 1: Is there a subset $X$ of the Hilbert cube $[0,1]^{\Bbb N}$ of cardinality continuum, such that for each sequence $a\in [0,1]^{\Bbb N}$ with $\sum a_n$ ...
Boaz Tsaban's user avatar
  • 3,104
2 votes
0 answers
24 views

Continuity of Kernel Mean Embeddings

Given some kernel $k: X \times X \to \mathbb{R}$ with RKHS $H_k$ we say that $k$ is characteristic on the space of signed Radon measures over $X$, denoted by $\mathcal{M}(X)$, if the kernel mean ...
Gaspar's user avatar
  • 81
2 votes
1 answer
102 views

On the existence of a complicated fractal-like set of finite perimeter

Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
BigbearZzz's user avatar
  • 1,245
4 votes
3 answers
414 views

Does the uniform boundedness principle holds for multilinear maps as well?

This question has been motivated by weak* completeness of distributions. According to the answer in the above post, any barrelled locally convex topological vector space $E$ satisfies the uniform ...
Isaac's user avatar
  • 2,727
0 votes
0 answers
39 views

Computation of Brown measure of the shift operator on $\ell^2(\mathbb N)$?

This looks an extremely simple question - I am just trying to give an example of Brown measure, https://en.wikipedia.org/wiki/Brown_measure, so I try to compute it for the left/right-shift operator on ...
Ma Joad's user avatar
  • 1,611
1 vote
1 answer
79 views

Sufficient initial conditions for "Non-local" PDE

I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
DerGalaxy's user avatar
2 votes
0 answers
88 views

Harmonic heat flow, formal and rigorous

Let $ (M,g) $ be a smooth Riemann manifold without boundary, $ S^{n-1} $ is an $ n $-dimensional sphere, and $ T>0 $. Consider a weak solution $ u:M\times[0,T]\to S^{n+1} $ of $$ \partial_tu-\Delta ...
Luis Yanka Annalisc's user avatar
2 votes
2 answers
77 views

"Completeness" for weak convergence of unbounded closed operators on a separable Hilbert space $H$

Let $H$ be a separable Hilbert space with the inner product $\langle, \rangle$ and $\{ T_n \}$ be a sequence of unbounded closed linear operators with a common dense domain $D \subset H$ such that $...
Isaac's user avatar
  • 2,727
0 votes
2 answers
216 views

For a tempered distribution $F$ on $\mathbb{R}^2$, what exactly does it mean by $\lvert F(x,y) \rvert \leq \lvert x-y \rvert^{-n}$?

Let $F$ be a tempered distribution on $\mathbb{R}^2$ and $n \in \mathbb{N}$ be a fixed natural number. I wonder what exactly it means by $\lvert F(x,y) \rvert \leq \lvert x-y \rvert^{-n}$ where $x,y \...
Isaac's user avatar
  • 2,727

1
2 3 4 5
187