Questions tagged [function-spaces]
The function-spaces tag has no usage guidance.
67 questions
2
votes
0
answers
62
views
Bessel spaces and Triebel Lizorkin
It is known that bessel potential spaces $H^{s,p}$ coincide with Triebel-Lizorkin spaces $F^{s}_{p,2}$ for $s\in \mathbb{R}$ and $1<p<\infty$. Im wondering what can be said por $p=1$ and $p=\...
1
vote
0
answers
65
views
Fractional Sobolev embedding
Let $s\in (0,1)$ and $1<p<\infty$. Let $H^{s,p}(\mathbb{R}^n)=H^{s,p}$ the Bessel potential space, defined as the image of $L^p(\mathbb{R^n})$ by the Bessel potential. It is known that these ...
2
votes
1
answer
108
views
Separability is an interpolation property
I'm trying to prove that certain space, which can be obtained as an interpolation space, is separable. The fact that is separable is well known but i want to simplify it via interpolation. I haven't ...
0
votes
0
answers
42
views
An integral estimate involving Bergman kernel
Let $V$ be the normalized volume measure on $\mathbb D^2$ and $k : \mathbb D \times \mathbb D \longrightarrow \mathbb C$ be the Bergman kernel on $\mathbb D^2$ given by $$k(z,w) = \frac {1} {\left (1 -...
- 41
8
votes
0
answers
177
views
Understanding spaces of negative regularity
I apologize if this question is too basic for this site, but I posted it on mathSE and did not get any responses (link can be found here) so I'm crossposting it here.
Let $C^k(\mathbb{R}^n$) be the ...
- 721
2
votes
1
answer
149
views
Show that $\|P(f\circ\varphi_{\lambda})-\widetilde{f}(\lambda)\|_p=\|P(f\circ\varphi_{\lambda}-\overline{P(\overline{f}\circ\varphi_{\lambda}}))\|_p.$
Let $\Omega = \mathbb B_n,$ the unit ball in $\mathbb C^n$ and $L^2_a(\Omega)$ be the Bergman space endowed with the normalized volume measure on $\Omega.$ Let $k_{\lambda}$ be the associated Bergman ...
- 41
0
votes
0
answers
72
views
Sequential compactness via Arzela-Ascoli theorem for uniform state spaces
Let $X$ be a uniform topological space and $C([0,1],X)$ the space of continuous functions from [0,1] to $X$. Assume that for subsets of $X$ sequential compactness and compactness are equivalent. Let $(...
- 133
2
votes
0
answers
29
views
Deck transformation group of the basic polynomial map on a $G$-space
Let $G \subseteq GL_d (\mathbb C)$ be a finite pseudoreflection group (see here and here) acting on a domain $\Omega \subseteq \mathbb C^d$ by the right action $\sigma \cdot z = \sigma^{-1} z$ where $\...
- 41
2
votes
0
answers
30
views
Dual of homogeneous Triebel-Lizorkin
Let $ p, q \in (1,\infty)$ and consider the homogeneous Triebel- Lizorkin space $\dot{F}^{s}_{p,q}$ to be the space of all tempered distributions (modulo polynomials) with
$$
[f]^{p}_{\dot{F}^{s}_{p,q}...
- 31
0
votes
0
answers
112
views
Characterization for the multipliers of Schwartz space
Is the following true?
A function $m:\mathbb R^n\to\mathbb C$ is a Schwartz multiplier (i.e. $[f\mapsto mf]:S(\mathbb R^n)\to S(\mathbb R^n)$ is bounded linear) iff the following:
For every $\alpha$ ...
- 938
4
votes
1
answer
96
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_{...
- 938
4
votes
0
answers
73
views
Find reasonable definition for endpoint Lorentz function spaces $L^{\infty,q}$ via the idea from endpoint Triebel-Lizorkin ${\scr F}_{\infty,q}^s$
On a measure space $(X,\mu)$, for $0<p,q<\infty$ the Lorentz space $L^{p,q}(\mu)$ is defined by $$\|f\|_{L^{p,q}(\mu)}:=p^\frac1q\|t\mu(|f|>t)^\frac1p\|_{L^q(\mathbb R_+,\frac{dt}t)}=p^\...
- 938
1
vote
0
answers
115
views
Looking for examples of kernels with scalar Pick property but not the complete Pick property
I am studying Pick Interpolation and Hilbert Function Spaces by Agler and McCarthy.
A kernel $k$ on a set $X$ is said to have $M_{s,t}$ Pick property whenever $x_1,x_2, \ldots , x_n \in X$ and $W_1, ...
- 151
2
votes
2
answers
588
views
What is the relationship between Hölder spaces and differentiability?
I'm porting this question over from MSE as it did not get any responses other than one comment on there.
Let $C^{k,\alpha}$ be a Hölder space where $0 \leq \alpha \leq 1$. I have seen various sources ...
- 721
1
vote
0
answers
161
views
A generalization of polynomials in one variable
Let us consider the space of polynomials $P^N$ of degree $\le N$. If $f\in P^N$ vanishes in $>N$ points, then $f\equiv 0$, but for any $N$ points, or fewer, there exists $f\neq 0$ vanishing at ...
- 408
3
votes
0
answers
118
views
Why do we work on homogeneous Besov/Triebel-Lizorkin spaces?
This question is mainly for understanding the history behind homogeneous spaces.
There is extensive literature on Besov and Triebel-Lizorkin spaces. For instance, see the standard textbook:
https://...
4
votes
1
answer
267
views
Is $T$ totally bounded when $C_u(T)$ is separable?
I'm seeking help with a question regarding the space of bounded and uniformly continuous functions $C_u(T,d)$, where $(T,d)$ is a metric space. In this context, $C_u(T)$ is a closed subspace of $C_b(T)...
- 235
1
vote
1
answer
89
views
Is the product of $u \in W^{\sigma,1}(\Omega)$ and $v \in C^{0,\sigma}(\Omega)$ again in $W^{\sigma,1}(\Omega)$?
The following startles me. Let $\Omega \subseteq \mathbb R^n$ and write $W^{\sigma,1}(\Omega)$ for the fractional Sobolev space with norm
$$|u|_{W^{\sigma,1}(\Omega)} := \iint \frac{|u(x) - u(y)|}{|x-...
- 5,327
2
votes
0
answers
57
views
The graph topologies for powersets
Given a topological space $X$ and a metric space $(Y,d_Y)$, there are a number of topologies one may put on the space $\mathcal{C}(X,Y)$ of continuous functions from $X$ to $Y$. Perhaps the most ...
- 11.8k
0
votes
0
answers
142
views
Is $C^\infty(\Omega) \cap W^{s_1,p_1}(\Omega)$ dense in $W^{s_2,p_2}(\Omega)$ if $W^{s_1,p_1}(\Omega) \subset W^{s_2,p_2}(\Omega)$?
Background: The proof of Theorem 6.4 in http://mate.dm.uba.ar/~jrossi/Fractional-1-lapla-07_02_2015.pdf, I want to use the density that $C^\infty(\Omega) \cap W^{r_0,q_0}(\Omega) \cap L^2(\Omega)$ is ...
- 1
8
votes
2
answers
974
views
What happens if we consider functions of bounded variation that are not in $L^1$?
A function $f \in L^1(\mathbb R^n)$ is said to be of bounded variation if there exists a constant $C \geq 0$ such that
$$
\int_{\mathbb R^n} f(x) \operatorname{div} \phi(x) \; dx
\leq
C \sup_{ x \in \...
- 5,327
12
votes
1
answer
417
views
Are algebras of smooth functions formally smooth?
Let $M$ be a manifold. Then is the ring of smooth functions $C^\infty(M,\mathbb{R})$ formally smooth over $\mathbb{R}$?
If it helps, feel free to assume that $M$ is compact.
(This is not a joke ...
- 6,406
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
1
vote
0
answers
93
views
What is t-equivalence in function spaces?
In $C_p$-Theory monographs, it is said that two topological spaces $X$ and $Y$ are said to be $t$-equivalent means that $C_p(X)$ is homeomorphic to $C_p(Y)$. Then they also define $u$-equivalences (...
- 31
2
votes
0
answers
79
views
quasi-Banach function spaces are subspace of $L_p$
It is well-known that any Banach rearrangement-invariant function space $X$ on $[0,1]$ is a subset of $L_1[0,1]$, and I can find a reference that any quasi-Banach rearrangement-invariant function ...
- 617
3
votes
0
answers
68
views
Relationship between Hardy-Orlicz space and the corresponding Orlicz space
For $p \in [1, \infty]$ the Hardy space $H_p$ is defined as the space of all analytic functions $f$ on the open disk satisfying
$$\|f\|_{H_p} = \sup_{0 < r < 1} \|f(r\cdot)\|_{L_p(\mathbb{T})} &...
- 565
3
votes
1
answer
410
views
Schauder basis of $L^1_{\mathrm{loc}}(\mathbb{R}^n,H)$
$\newcommand{\loc}{\mathrm{loc}}$Let $(\mathbb{R}^n,\mathcal{B}(\mathbb{R}^n),\mu)$ denote the Euclidean space $\mathbb{R}^n$ with its Borel $\sigma$-algebra $\mathcal{B}(\mathbb{R}^n)$ equipped with ...
- 5,407
0
votes
1
answer
534
views
About the normability of the space of continuous functions
Let $A$ be a subset of $\mathbb{R}^n$, and denote by $C(A)$ the space of complex-valued continuous functions defined on $A$. We know that if $A$ is compact then we can define a norm on $C(A)$ so that ...
- 1,173
2
votes
1
answer
192
views
Relationship between $C(X\times Y,Z)$ and $C(X,C(Y,Z))$
Let $X$, $Y$, and $Z$ be locally-compact, complete, and separable metric spaces and suppose that $X$ is compact; all non-empty.
Consider the spaces $C(X,C(Y,Z))$ and $C(X\times Y,Z)$ both equipped ...
0
votes
0
answers
169
views
Is $\ell_2$ is isomorphic to a subspace of $L_\infty(0,1)$?
I know that $\ell_2$ is isomorphic to a subspace of $L_p(0,1)$ for any $1\le p<\infty$. However, I haven't seen anything about $L_\infty$. Is $\ell_2$ is isomorphic to a subspace of $L_\infty(0,1)$?...
- 617
2
votes
0
answers
49
views
Determining a space of differentiability
I have a questions and maybe you are able to assist with this? Let us consider the space $X:=\mathrm{L}^2[0,\pi]$. On $X$ we consider the family of operators $(P(t,s))_{t\geq s}$ defined by
$$
P(t,s)f:...
3
votes
2
answers
1k
views
Topologies on space of compactly supported continuous functions
Let $X$ be a locally compact Hausdorff space. As far as I understand, the space $C_c(X) = C_c(X; \mathbb{C})$ of compactly supported continuous complex-valued functions on $X$ is (most?) often ...
- 89
7
votes
0
answers
242
views
Has this Banach algebra been studied?
Given $\Omega$ as $[0,1]^n$ or the closed unit ball in $\mathbb{R}^n$, we can consider the algebra of complex valued polynomials with pointwise multiplication and its closure with respect to the norm
...
- 71
2
votes
0
answers
55
views
Where can I find literature regarding cardinal invariants of a function space $C(X, Y)$ endowed with the Uniform or Fine topology?
I am working on Function Spaces as a topological space. I want to get a sample paper which studies the cardinal invariants on the function space $C(X, Y)$ rather than on $C(X)$.
- 31
0
votes
1
answer
74
views
What is the source to find cardinal invariants for a function space C(X, Y), equipped with uniform or fine topology?
I would like to know about the technique to check the cardinality properties for the function space C(X, Y), where X is a tychonoff space and Y a metric space, equipped with uniform or fine topology.
2
votes
0
answers
306
views
Which domains have a Poincare-Wirtinger inequality? Which don't?
A Poincare-Wirtinger inequality holds over a domain $\Omega \subseteq \mathbb R^n$ with exponentnt $1 \leq p \leq \infty$ if there exists $C(p,\Omega) > 0$ such that
$\| u - \operatorname{avg}(u) \|...
- 5,327
2
votes
1
answer
173
views
Can we define geodesic in the space of compactly supported functions?
From Wikepedia, the definition of geodesic is stated as:
A curve $\gamma: I\to M$ from an interval $I$ of the reals to the metric space $M$ is a geodesic if there is a constant $v\geq 0$ such that ...
- 263
14
votes
0
answers
859
views
strong topologies on $C_c^\infty$
UPDATE (27/08/2020): I realized after a comment from Jochen Wengenroth that there was at least one false premise behind my question, owing to the fact that analysts sometimes use the words "...
- 486
2
votes
0
answers
346
views
Analogue of Lipschitz continuity of $W^{1,\infty}$ for Hölder continuity and Sobolev-Slobodeckij spaces
A function $u : U \rightarrow \mathbb R$ is an element of the Hölder space $C^{\alpha}(U)$ if
$\sup\limits_{x \in U} |u(x)| < \infty$
$\sup\limits_{x,y \in U} \dfrac{|u(x) - u(y)|}{|x-y|^\alpha} &...
- 5,327
1
vote
1
answer
128
views
On $B^1$ and $B^2$ almost-periodic functions
The Besicovitch class of $B^p$ almost-periodic functions is defined as the closure of the set of trigonometric polynomials (of the form $t \mapsto \sum_{n=1}^N a_n e^{i \lambda_n t}$ with $\lambda_1, \...
- 1,322
6
votes
2
answers
657
views
The set of embeddings is open in the strong Whitney topology
In Hirsch's book "Differential Topology," he claims in Chapter 2, Theorem 1.4 that the set of $C^1$-embeddings is open in the strong Whitney topology $C^1(M, N)$ where $M$ and $N$ are $C^1$ manifolds. ...
- 1,162
2
votes
1
answer
348
views
Topological spaces containing paths
Let $C(\mathbb{R}^n;\mathbb{R}^d)$ be the space of continuous functions with the uniform-convergence on compacts topology. What are function spaces $X$ building on $C(\mathbb{R}^n;\mathbb{R}^d)$?
$X$...
- 5,407
1
vote
0
answers
100
views
Which set of functions/measures has range $\mathrm{L}^\infty$ under Fourier transformation
I have a question concerning the Fourier transformation. What I know is that $\mathrm{L}^{\infty}=\{\hat{u}:\ u\in Y\}$ for some space $Y$. Now, I want to specify the space $Y$. The question is, is ...
1
vote
0
answers
216
views
Uniform convergence over compacts subsets implies existence of a uiform convergente subsequence?
Let $H$ the group of all homeomorphisms of a locally compact second countable and totally bounded metric space $X$ onto itself, under the compact-open topology ($X$ is totally bounded if every ...
- 365
0
votes
1
answer
407
views
Criteria for $\epsilon$-Density
Let $Y$ be a compact, separable metric space and $X=C(Y)$ Banach space. There are many criteria for a linear subspace $Z\subseteq X$ to be dense; notably the Stone-Weierstraß theorem.
Are there ...
- 5,407
6
votes
1
answer
314
views
Is $π:\mathcal{C}^∞(M,N)→\mathcal{C}^∞(S,N)$, $π(f)=f|_S$ a quotient map in the $\mathcal{C}^1$ topology?
This question was previously posted on MSE.
Let $M, N$ be smooth connected manifolds (without boundary), where $M$ is a compact manifold, so we can put a topology in the space $\mathcal C^\infty(M, N)$...
- 333
2
votes
0
answers
215
views
The regularity of ODE with Zygmund coefficients
A zygmund function $f\in\mathscr C^1$ is a continuous function satisfies $|f(x+h)+f(x-h)-2f(x)|\le C|h|$ for all $x,h\in\mathbb R^n$ in the domain.
According to Markus' paper A uniqueness theorem for ...
- 938
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
1
answer
1k
views
Reference request: interpolation of Hölder spaces
On the Wikipedia page on interpolation space, it is written that the space $C^\theta([0, 1])$ is the (real) interpolation of $C^0([0, 1])$ and $C^1([0, 1])$, where $C^\theta([0, 1])$ denotes the space ...
- 1,263
2
votes
0
answers
124
views
Logarithm of $L^p$ space
I encountered the following space as a natural space for setting up a certain problem:
$$
S_m^p = \{f \colon I \to \mathbb{R} \text{ measurable }; m^{f} \in L^p(I)\}
$$
Here, $I$ is an open bounded ...
- 648