All Questions
12,935 questions
0
votes
0
answers
46
views
Projection onto Shift Invariant Subspaces of $H^2$
Every shift invariant subspace of the Hardy space $H^2(\mathbb{D})$ is either $\{0\}$ or is of the form $\varphi H^2$ for some inner function $\varphi$. I know that if $\varphi(0) \neq 0$, then the ...
- 23
3
votes
1
answer
172
views
1-1 map on the $\{0,1\}^k$
Let integer $k>0$ and let $\{0,1\}^k$ denote the set of all $1\times k$-dim vectors whose every coordinate is eithor 0 or 1, for example, $(0,1,1,0,\dots,1,0,0,1)$. For any such vector $\alpha$, ...
- 349
2
votes
0
answers
81
views
Extension of a tangent vector field
Let $\Omega$ be an open subset of $S^2$ with $\overline{\Omega} \neq S^2$. Suppose a continuous tangent vector field $G$ is defined on $\partial \Omega$ such that $|G(y)| = 1$ for all $y \in \partial \...
- 434
1
vote
1
answer
111
views
How to show such result for generalized $ O(|x|^{-1/2}) $ function?
Assuming that $ \chi\in C_c^{\infty}([-2,2]) $ is a cutoff function such that $\text{supp }\chi\subset[-2,2]$, $\chi\equiv 1 $ in $ [-1,1] $, and $ 0\leq\chi\leq 1 $, suppose that $ f\in C^{\infty}(\...
- 1,219
7
votes
1
answer
185
views
Question on ODE involving mollifiers from Taylor's book on PDEs
In Taylor's third book on PDEs chapter 16, the author discusses quasilinear symmetric hyperbolic systems of the form
$$\partial_{t}u=A^{k}(t,x,u)\partial_{k}u+g(t,x,u)$$
with some initial condition $u(...
- 1,171
31
votes
1
answer
2k
views
Topology on space of hyperfunctions
This is a reference request, coming from someone with little knowledge of hyperfunctions:
Which methods have been used to endow the space of hyperfunctions $\mathcal B(\mathbb R)$ with something like ...
- 21.3k
2
votes
1
answer
227
views
Examples showing Rellich-Kondrakov theorem fails for domains with non-Lipschitz boundary?
The Rellich-Kondrakov theorem requires the domain to have Lipschitz boundary, but after searching in many places, I have not found an example to show that this is necessary.
Can anyone share an ...
- 1,755
0
votes
1
answer
163
views
Counterexample wanted: Banach space but not BK-space
What is an example of a Banach space that is not a BK-space?
A normed sequence space $X$ (with projections $p_n$) is a BK Space if $X$ is Banach space and for all natural numbers $n$, $p_n(\bar{x}) = ...
- 1
0
votes
0
answers
28
views
Show that functional $J$ satisfies Palais-Smale condition iff every $P-S$ sequence is bounded
Let $H$ be a Hilbert space and let $K: H \rightarrow \mathbb{R}$ be $C^1$ and such that $\nabla K: H \rightarrow H$ sends bounded sets into precompact sets. Consider the functional $J: H \rightarrow \...
- 415
2
votes
1
answer
136
views
Is there a scalar product which makes orthonormal the family of complex functions $ (f_n)_{ n \geq 1 } $?
Let $ (f_n)_{ n \geq 1 } $ be a family of complex functions defined as follow,
$ \forall n \geq 1 $,
$$ f_n (z) = \dfrac{1}{n^{z}} $$
I would like to ask you if it is possible to construct a ( non-...
- 595
0
votes
0
answers
36
views
Sufficient condition for interpolation
If we have a couple of two compatible banach spaces (in this sense) $(X,Y)$ and a sequence of Banach spaces $\{Z\}_{\theta\in[0,1]}$ which are intermediate between $X$ and $Y$ satisfying:
$Z_0=X$, $...
- 101
6
votes
1
answer
252
views
Poisson kernel for the orthogonal groups
For the complex ball $|z|^2\le 1$ in $\mathbb{C}^n$, there is a Poisson kernel proportional to $|x-z|^{-2n}$. This is generalized to the unitary group $U(N)$ so that in the complex matrix ball $Z^\...
- 1,549
1
vote
1
answer
110
views
Looking for definition of function spaces appearing in article of DiPerna & Lions
I am looking for the definition of various function spaces appearing in the following article, preferably with references to other sources where such spaces are discussed in greater detail:
Article: ...
- 21
2
votes
1
answer
155
views
Tempered distributions at non-coinciding points and density of Schwartz functions
In the previous question, I find that situation is much less favorable than expected…. So I add more details to focus on the specific case I have in mind.
Let us consider the Schwartz space $\mathcal{...
- 3,477
0
votes
1
answer
80
views
Orthogonal space of polynomials
Let $f \colon [0,+\infty) \to \mathbb R$ be a continuous function. Assume that for any non-negative integer $n$, the function $f(t) t^n$ in integrable in $(0,+\infty)$ and
$$
\int_0^{+\infty} f(t) t^n ...
2
votes
0
answers
74
views
References for a class of Banach space-valued Gaussian processes
Let $E$ be a separable Banach space, consider a centered $E$-valued Gaussian process $\{x_t,t\ge 0\}$ that satisfies
\begin{equation}
\mathbb{E}\phi(x_s)\psi(x_t)=R(s,t)K(\phi,\psi),\quad \phi,\psi\in ...
- 121
0
votes
0
answers
89
views
Maximal function on mixed $L^{p}$
Consider $ f_{j,k}$ to be a function in $L^{p}(l^{q}(l^{2}))$, that is
$$
\Vert f_{j,k} \Vert^{p}_{L^{p}(l^{q}(l^{2}))} = \int_{\mathbb{R}^{n}} \left( \sum_{k} \big[ \sum_{j} \vert f_{j,k}(x) \vert^{2}...
- 31
0
votes
1
answer
126
views
Clarification on the Interpretation of Fourier Coefficients in the Context of Fourier Projections
I am currently studying a paper (Section 3.4.3 of Lanthaler, Mishra, and Karniadakis - Error estimates for DeepONets: a deep learning framework in infinite dimensions) where the authors define an ...
1
vote
0
answers
64
views
embedding spaces of probability measures to function spaces
Let $X, Y$ be Banach spaces. I'm considering a bounded linear functional $g:X\to Y$ and its lift $g_\sharp: \mathcal{P}(X)\to \mathcal{P}(Y)$.
I want to consider the inverse of $g_\sharp$ in some ...
4
votes
2
answers
483
views
Is every closed subspace of the Schwartz space densely embedded into its dual space?
My original question is from this ME post but I think I need a broader understanding for this.
The Schwartz space $\mathcal{S}$ and its subspaces are examples of nuclear spaces. In fact, any closed ...
- 3,477
0
votes
1
answer
89
views
For any $p, q \in [1,\infty]$ and $s \in (0,\infty)$, can we find some $f \in L^q - W^{s,p}$?
Sobolev inequalities show us when we can embed a Sobolev space into another.
However, I wonder if these inclusions are always proper.
More specifically, let $\Omega \subset \mathbb{R}^n$ be a bounded ...
- 3,477
4
votes
1
answer
148
views
Multivariate polynomial approximation of functions in Sobolev space
I found a result of the estimation error of polynomial approximation in page
6 of https://scg.ece.ucsb.edu/publications/theses/ARajagopal_2019_Thesis.pdf
The statement is for $f \in W^{k, p}\left([-1,...
- 61
3
votes
0
answers
100
views
Rate of convergence of mollified distributions in Besov spaces with negative regularity
Given a standard mollifier $\rho_\delta$ and a distribution $ u \in B^\alpha_{ p, p}$ with $\alpha<0$, $p \in [1, \infty]$ and $B^\alpha_{p,p}$ is a not-homogeneous Besov space, I'm trying to prove ...
- 293
4
votes
0
answers
108
views
Larger possible chain of closed subspaces in the dual of a Banach space
In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces.
My question is the following. If $X$ is an ...
- 153
1
vote
1
answer
146
views
Form of a hereditary subalgebra of $C^*$-algebra $C_0(X)$
I would like to show that:
"every hereditary subalgebra $U$ of a $C^*$-algebra $C_0(X)$ for a locally compact Hausdorff Space $X$ has the form $J_E := \{f \in C_0(X) : f|_E=0 \}$ for a closed ...
- 11
3
votes
0
answers
96
views
Excising the trace of a $II_1$-factor
Recall that a state $\varphi$ on a $C^*$-algebra $A$ is said to be excised by projections if there exists a net of projections $e_i \in A$ such that $\| e_i a e_i - \varphi(a) e_i\| \to_{i} 0$ for all ...
- 297
9
votes
1
answer
336
views
Characterizing germs of smooth functions
There's a sheaf of smooth real-valued functions on $\mathbb{R}$, and its germ at $0$ is some vector space $V$. I would like to understand this space. There is a surjective linear map
$$ \phi \colon ...
- 22.3k
0
votes
0
answers
134
views
How can i show that the last equality in the text is true?
Suppose that $v$ is critical point of
$$
f(u)=\frac{1}{2} \int_D|\nabla u|^2-\frac{1}{p+1} \int_D|u|^{p+1}, \quad u \in H_{0, \text{rad}}^1(D),\quad D(r, d)=\left\{z \in R^N: r^2<|z|^2<(r+d)^2\...
- 69
2
votes
1
answer
387
views
De la Vallée Poussin criterion on uniform integrability for infinite measures
The de la Vallée Poussin criterion (which is often used in combination with the Dunford-Pettis theorem) is usually formulated for probability measures/finite measures, for example in [Bogachev: ...
- 185
0
votes
0
answers
99
views
Dual of closure
Currently I'm studying about abstract interpolation theory for my research. One of the basic ways to construct new interpolation spaces, given an interpolation space $E$ with respect to a compatible ...
1
vote
1
answer
232
views
When is this operator positive semi-definite?
I have the following operator
$$\Phi(\chi_A)=\int \text{d}\eta\, \text{d}\zeta\,\chi_A(\eta,\zeta)\,e^{i(\eta \hat{P}+\zeta\hat{Q})}.$$
With $\chi_A$ the indicator function associated to a set $A\...
0
votes
1
answer
317
views
A variation of the Riesz Lemma
Given a normed space $X$, a closed proper subspace $Y$ and $\alpha\in (0,1)$, the Riesz Lemma states that there is $x\in X$ such that $\|x\|=1$ and $d(x,Y)>\alpha$. Observe that also $d(-x,Y)=d(x,Y)...
- 153
0
votes
0
answers
60
views
The size of super level sets and the symmetry on a sphere
Let $u$ be a smooth function defined on the sphere $\mathbb{S}^2$, and let $R \in \mathrm{SO}(3)$ be a three-dimensional rotation. Define
$$
S_R = \{x \in \mathbb{S}^2 : u(x) \neq u(Rx)\}.
$$
Suppose ...
- 434
4
votes
1
answer
165
views
Dual spaces of Banach-valued $L^{p}$-spaces
Let $(\Omega,\mathcal{F},\mu)$ be a measure space (say complete and $\sigma$-finite, for simplicity). Furthermore, let $(X,\Vert\cdot\Vert_{X})$ be an arbitrary Banach space. I denote by $(L^{p}(\...
- 1,429
3
votes
0
answers
124
views
Estimating a solution to Euler-type ODE #2
This is a similar question to this but with a different ODE.
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer, $R&...
- 969
2
votes
1
answer
139
views
Domain of the infinitesimal generator of a composition $C_0$-semigroup
In the paper [1] the following $C_0$-group is presented,
$$
T(t)f(x) = f(e^{-t} x) , \quad x \in (0,\infty) \quad f \in E
$$
where $E$ is an ($L^1,L^\infty$)-interpolation space. In mi case, I'm just ...
1
vote
0
answers
54
views
Isoperimetric Inequalities in Annular Regions
Let $\Omega$ be an open set in $\mathbb{R}^2$ whose boundary is a rectifiable Jordan curve. Then an old result by Alfred Huber states that
$$
\left(\int_{\partial \Omega} e^u ds\right)^2 \geq 2 \left(...
- 434
9
votes
0
answers
173
views
Regularity structures vs Renormalization
What are the substantial differences in the theory of "Regularity Structures" versus perturbative renormalization from Quantum Field Theory?
The idea that to treat divergences inherent to ...
- 1,435
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
81
views
Measurable Extension
Let $(\Omega, \mathcal{F})$ be a measurable space and $X$ some metric space (probably Polish) with the Borel $\sigma$-algebra and a function $f: \Omega \times X \to \mathbb{R}$. Usually, functions ...
- 136
0
votes
0
answers
34
views
Support of a function acting on an algebra?
Quick: for a measurable function $f$ its support on Euclidean space is clearly just the subset where $f$ does not vanish.
Now, let’s have $f$ acting on an finite Lie algebra, f.e. $\mathfrak{gl}$ as $...
1
vote
0
answers
76
views
de Giorgi iteration for the $p$-Laplacian as $p \to \infty$
I am trying to follow the proof of the main theorem of Part III of "Limits as $p \to \infty$ of $\Delta_p u_p = f$ and related extremal problems" by Bhattacharya, DiBenedetto, and Manfredi. ...
- 708
0
votes
0
answers
99
views
Two-sided estimates of fundamental solutions of second-order parabolic equations
I am reading the paper Two-sided estimates of fundamental solutions of second-order parabolic equations, and some applications by F.O. Porper and S.D. Eidel'man. Below, the cited paper is
[2] :S.D. ...
- 825
2
votes
0
answers
67
views
Regularity and decay of Fourier-like series on a manifold
Let $D$ be a first-order self-adjoint elliptic differential operator acting on sections of a vector bundle $S$ over a closed manifold $M$. Then it is well-known that the various eigenspaces $E_\lambda$...
- 1,903
0
votes
1
answer
172
views
Harmonic functions and monotonic decay
I have a general question surrounding certain harmonic functions.
I was able to solve the Laplace equation $\Delta f = 0$ in $\mathbb{R^3}$, subject to two spherical (equal radii) boundary conditions, ...
- 11
1
vote
0
answers
53
views
Reference for Density question
Let $ B $ be a reflexive, separable Banach space and $ p \in (1,\infty)$. Then denote by $L^{p}(B)$ the space of all functions $$ f : \mathbb{R}^{n} \to B $$ with
$$
\int_{\mathbb{R}^{n}} \vert f \...
- 31
1
vote
1
answer
80
views
Does local gradient collinearity imply factorization
Assume that we have two analytic functions $f(x,y)$ and $g(x,y)$ defined near $(0,0)$ on the plane. Let us also assume that $\nabla f =k \nabla g$, where $k=k(x,y)$ is also analytic and $\nabla f(0,0)\...
- 728
2
votes
1
answer
142
views
Estimating a solution to an Euler-type ODE
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer and $a$ be a real number.
Let $u(r)$ be a function on $[1,\infty)$ ...
- 969
0
votes
1
answer
100
views
Projection on a countable union of linear subspace
For any natural number $n$, $V_n$ denotes a closed linear subspace of a $L_2(m)$ space, which is an Hilbert Space, where $m$ denotes a finite measure. Moreover $(V_n)$ is increasing, that is $V_n$ is ...
- 31
1
vote
0
answers
78
views
Trace theorem for $L^2([0,1]; H^k(S^2))$
Consider a function $u$ in $L^2([0,1]; H^k(S^2))$ where $k$ is a positive integer.
Where would $u(0)$ live (or $u(r)$ for some fixed $r \in [0,1]$)? Is there a version of the trace theorem saying that ...
- 969