All Questions
Tagged with functional-analysis or fa.functional-analysis
9,772 questions
0
votes
0
answers
84
views
Question on approximation of norms
Suppose that $E\in Int[L_{p},L_{q}]$ for some $1<p<q<\infty$ and $E$ is $w$-concave with $1<w<\infty$. It is well-known that for each $r\geq w$, we have $E=L_{r}\odot F_{r}$ for some ...
- 45
1
vote
0
answers
67
views
regularity convolution of a $L^2$ function with $W^{1,1}$ function [closed]
Let $u\in L^2(\mathbb R)$ and $w \in W^{1,1}(\mathbb R)$, we consider the convolution
$$u*v$$
Is it true that $w*u \in W^{1,2}(\mathbb R)$?
What regularity can we put on $w$ for this to be true?
- 73
9
votes
2
answers
418
views
Reference request: Parabolic Equations
I am a PhD student working mainly on Elliptic Equations. With the other PhDs of my department, we organised a reading group, meaning that we agreed on a book we were all interested in, we meet weekly ...
- 6,367
7
votes
1
answer
243
views
Isoperimetric inequality, but $L_p$ norm
I would like to consider the isoperimetric problem of $L_p$ norm:
Given a region in $\mathbb R^2$ such that the boundary is a curve $C(x,y)$, where $\int_{C}(|\mathrm dx|^p+|\mathrm dy|^p)^{1/p}$ is a ...
- 109k
12
votes
1
answer
402
views
Boundedness of sequences and cardinality
Let $X$ be a set of sequences of real numbers that converge to zero with the property that for any unbounded sequence of real numbers $(y_n)$, there is a sequence $(x_n)$ in $X$ for which the ...
- 18.5k
3
votes
0
answers
53
views
Bounds on Besov norms for mollification of a bounded Lipschitz function
Let $\Omega$ be a bounded, non-empty, regular open domain in $\mathbb{R}^d$. Let $1\le p,q\le \infty$ and $s>0$. Let $\mathcal{B}_{p,q}^s(\Omega)$ be the Besov space on $\Omega$ corresponding to ...
- 63.9k
4
votes
3
answers
309
views
Intriguing simple question about Sobolev space $W^{1,p}(\Omega)$
Let $w_1,w_2\in W^{1,p}(\Omega)$ be two functions with $w_1,w_2>0$ and $\dfrac{w_2}{w_1},\dfrac{w_1}{w_2}\in L^{\infty}(\Omega)$, where $\Omega\subset\mathbb{R}^N$ is a bounded domain (i.e. open ...
- 1,759
2
votes
1
answer
959
views
Do kernels provide a basis for a RKHS?
Let $H$ be a Reproducing Kernel Hilbert Space with elements $f:X\rightarrow \mathbb{C}$, with kernel $K(x, y)$. My question is whether, for some choice of $x_i\in X$, it is the case that $u_i:=K(x_i, \...
CommunityBot
- 1
7
votes
1
answer
281
views
Norm in the minimal tensor product of C*-algebras
Let $A$ and $B$ be two $C^*$-algebras, and let $A \otimes B$ denote their minimal tensor product. Given positive, linear functionals $\varphi$ on $A$ and $\psi$ on $B$, we obtain a positive, linear ...
- 2,830
5
votes
3
answers
550
views
Completeness of the sequence $\left \{ \frac{1}{x+1},\frac{1}{x+2},\frac{1}{x+3}, \dots \right \}$ in $L^2[0,1]$
In the book R. M. Young: An introduction to non-harmonic Fourier series, I came across the following problem (page 18):
Problem. Show that the sequence $\left \{ \frac{1}{x+1},\frac{1}{x+2},\frac{1}{x+...
- 12.9k
6
votes
1
answer
331
views
If $t \to \lVert f(\cdot,t) \rVert_{L^2_x}^2$ is absolutely continuous, can we interchange the spatial integral and time derivative? (from MSE)
I originally posted this question on MSE. But it seems more nontrivial than expected, so I guess MO is a more appropriate place to ask.
I repeat the question for the sake of completeness:
Let $f(x,t) ...
CommunityBot
- 1
6
votes
3
answers
282
views
Extreme points of the dual unit ball of a Banach algebra
Let $A$ be a unital Banach algebra. Let $f\in A^*$, $\Vert f\Vert=1$ satisfy that there exists a maximal left ideal $L\subset A$ such that $L\subseteq\ker{f}$.
Question: Is $f$ an extreme point of ...
- 2,830
1
vote
2
answers
220
views
A question on unit norm elements of $\ell^2 \setminus \bigcup_{0<p<2 }\ell^p$
Let $A\subset \ell^2$ consist of all $x\in \ell^2$ with $|x|_2=1$ which does not belong to any $\ell^p$ for all $0<p<2$.
Note that $A$ is non-empty with a Baire category argument.
I ...
- 869
0
votes
0
answers
119
views
Boundedness of 2 times the unit ball
Suppose that $X$ is a topological vector space where the topology is given by a metric $d$ on $X$. Assuming that the unit ball
$$
B(0, 1) := \{x \in X : d(0, x) < 1\} \neq X,
$$
is it necessarily ...
5
votes
2
answers
258
views
Boundary value of Sobolev space
Let $D$ be a regular domain in $\mathbb R^2$. Suppose that $u \in H_0^1(D) \cap C(D)$. Does this imply $u \in C(\overline D)$ and $u|_{\partial D} = 0$?
- 3,584
1
vote
0
answers
73
views
Convexity and subdifferential monotonicity
Do you know any reference where I can find some results in this sense:
Consider $W:K\to [0,\infty)$ is a functional defined on a convex cone $K\subset X$, where $X$ is a Banach space. Then the ...
- 1,759
0
votes
0
answers
36
views
Derivate involving Bessel function of second type
Let.
$$f := (x, y) \mapsto \text{BesselK}(1, c \cdot (a - b \cdot (x + y))) \cdot \exp(c \cdot b \cdot (y - x))$$
Is there a close formula for this $$\frac{\partial^{m+n}}{\partial y^m \partial x^n} f(...
- 109
3
votes
1
answer
376
views
A more general product rule for weak derivatives?
Consider that $u_1,u_2:\Omega\to (0,\infty)$ where $\Omega\subset\mathbb{R}^N$ is an open set. We know that $u_1,u_2\in W^{1,p}(\Omega)$ for some $p>1$ and $\dfrac{u_1}{u_2},\ \dfrac{u_2}{u_1}\in L^...
- 6,367
2
votes
0
answers
57
views
Mappings that preserve local or global minimum
In the most general form, I'm interested in any non-trivial results of the following question.
Consider metric space $X$ and $Y$, denote all real valued functions on $X$ and $Y$ as $\mathbb{R}^{X}$ ...
- 275
1
vote
0
answers
51
views
Compact embeddings RKHSs into Sobolev Spaces
Let $\mathcal{H}$ be an RKHS over an open domain $\Omega \subseteq \mathbb{R}^d$. Are there conditions under which $\mathcal{H}$ can be compactly embedded in a Sobolev space $W^{s,p}(\Omega)$ for ...
5
votes
1
answer
183
views
Question about modular group (Modular theory in operator algebras, section 2.14)
Consider the following fragment from Stratila's book "Modular theory in operator algebras", section 2.14, p20:
I'm trying to understand the claim $(3)$ (see the red box). The main strategy ...
- 4,351
2
votes
0
answers
86
views
Besov spaces containing piecewise linear functions
Let $\Omega$ be a bounded, non-empty, regular open domain in $\mathbb{R}^d$. Let $1\le p,q\le \infty$ and $s>0$. Let $\mathcal{B}_{p,q}^s(\Omega)$ be the Besov space on $\Omega$ corresponding to ...
- 63.9k
2
votes
1
answer
244
views
Characterization of normed spaces based on violation of parallelogram law
For a normed linear space $(X, \|\cdot\|)$, the Jordan-von Neumann theorem specifies when exactly the norm is induced via an inner product, namely when the parallelogram law is satisfied.
I would like ...
- 213
6
votes
3
answers
1k
views
Additional conditions under which separately continuous implies jointly continuous
Let $X,Y$ be compact metric spaces and consider $f:X\times Y\rightarrow X$ a separately continuous function.
I am wondering if there could be some additional conditions on $f$ (for example $f(\cdot,y):...
- 12.9k
1
vote
0
answers
34
views
Discrepancy between probability measures, tested against bounded functions of bounded variance
When studying some concentration inequalities, it became relevant to consider the following discrepancy between two probability measures $\pi$ and $\nu$ (treating $\sigma \in \left( 0, \frac{1}{2} \...
- 801
3
votes
0
answers
165
views
$S^{n}(V)$ is "approximately" $V$ when $n$ goes to infinity (in the setting of normed space)
Let $B$ be a (separable) Banach space. $(v_{i})_{i}, i\in\mathbb{N}$ being a family of linear independent vectors. $V$ being the span of $v_{i}$. I try to prove that $V$ is dense in $B$. I define a ...
- 523
3
votes
1
answer
176
views
Question about Lebesgue Bochner spaces
Let $T>0$ and $\Omega\subset\mathbb{R}^N$ be a bounded domain. Also $p\in (1,\infty)$ is any number.
I know that $u\in L^{p}((0,T);L^p(\Omega))$ and $\nabla u\in L^{p}((0,T);L^p(\Omega))^N$. How ...
- 2,670
1
vote
1
answer
281
views
Continuous wavelet transform of a periodic function
I have a question regarding the Continuous Wavelet Transform (CWT) of non finite energy functions, such as $g(t) = a\exp(i\omega_0t)$. We know that the CWT is defined for functions in the Hilbert ...
CommunityBot
- 1
2
votes
0
answers
92
views
Sharp Sobolev trace inequalities on Riemannian manifolds with boundaries
For $n \geq3$, let $(M,g)$ be smooth $n$-dimensional, compact, Riemannian manifold with a smooth boundary. Then there exists some constant $A=A(M,g)>0$ such that, for all $u \in H^1(M)$
\begin{...
- 356
1
vote
1
answer
268
views
Best constant for Hölder inequality in Lorentz spaces
It's well known (and proved by R. O'neil) that there is a version of Hölder's inequality for Lorentz spaces, namely
$$\|fg\|_{L^{p, q}} \lesssim_{p_1, p_2, q_1, q_2} \|f\|_{L^{p_1, q_1}}\|g\|_{L^{...
CommunityBot
- 1
2
votes
1
answer
117
views
Special density on $L^2$
Let $\Omega\subset\mathbb{R}^N$ be a bounded domain, and $u\in L^2(\Omega)$ with $0\leq u(x)\leq 1$ a.e. on $\Omega$. It is well known that $C^{\infty}_c(\Omega)$ is dense in $L^2(\Omega)$. Because $C^...
- 29.8k
11
votes
0
answers
342
views
The diagonal operators and unconditionality
The following is well-known:
Theorem: Let $X$ be a Banach space with an unconditional basis $(e_n)_n$.
Then the space of the diagonal operators with respect the basis $(e_n)_n$ endowed with
the ...
- 2,429
6
votes
0
answers
159
views
Identification of Fock space and the $L^2$ space of tempered distributions
Let $\mathcal{S}'(\mathbb{R}^d)$ be the set of tempered distributions over $\mathbb{R}^d$ and $d\phi_C$ a Gaussian measure over $\mathcal{S}'(\mathbb{R}^d)$ with covariance operator $C$. Consider the ...
- 3,065
3
votes
0
answers
58
views
Infinitesimal generators of random evolutions
Consider two state spaces $X$ and $Y$ and infinitesimal generators of Markov processes $(A_y)_{y\in Y}$ and $B$, on $X$ and $Y$ respectively. We assume that $A_y$ share the same domain $D(A)$, and ...
- 31
4
votes
1
answer
158
views
Is the image of a complemented subspace complemented?
This question has been crossposted from mathstackexchange:
Let $X, Y$ be two Banach spaces and $T:X\to Y$ a continuous surjection. Assume $Z$ is a complemented subspace of $X$ and that $T(Z)$ is ...
- 60.5k
0
votes
0
answers
59
views
Decomposition of a contractive representation into an orthogonal sum for the $n$-dimensional case. Has this been done yet?
I know that it has been done for the two-dimensional case. Marek Kosiek showed it in his work "Decomposition of operator representations of the algebra $R(K_1 \times K_2)$" and "...
- 63
3
votes
1
answer
177
views
Compactness of set of measurable functions between compact subspaces of real numbers
Let $X$ be a compact subset of $\mathbb{R}^n$ and $Y$ be a convex and compact subset of $\mathbb{R}^p$. Consider $\mathcal{F}$ the set of all measurable functions from $X$ to $Y$. Can I find ...
- 11
2
votes
0
answers
220
views
Ultraviolet divergences of entanglement entropy in QFT
I've often read that entanglement entropy in quantum field theory is ill-defined because local algebras are generally of type III, which implies that a trace doesn't exist. For a normal state $\omega_{...
- 424
3
votes
1
answer
203
views
Cohomology of the complex of differential forms with Schwartz coefficients
Let $U$ be an open manifold (say an open subset of $\mathbb{R}^n$ for simplicity). Denote by $\mathscr{S}(U)$ the space of Schwartz functions on $U$. Schwartz functions are defined as usual to be ...
- 21.5k
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
2
votes
1
answer
113
views
Showing $\inf _{a \neq 0} \frac{\left\|a^2\right\|}{\|a\|^2}\leq \inf _{a \neq 0} \frac{\|\hat{a}\|_{\infty}}{\|a\|}$ in a commutative banach algebra
Suppose $A$ is a commutative Banach algebra, and let $u=\inf _{a \neq 0} \frac{\left\|a^2\right\|}{\|a\|^2}$, $v=\inf _{a \neq 0} \frac{r(a)}{\|a\|}$ ($r(a)$ is the spectral radius of $a$). I need to ...
- 109k
2
votes
0
answers
126
views
Identification of Maharam extension
All definitions used in this post are from Björklund, Kosloff, and Vaes - Ergodicity and type of nonsingular Bernoulli actions. This post is inspired by the beginning of Section 2.2 in the same paper, ...
- 307
10
votes
0
answers
225
views
Can the trace be computed in any Schauder basis?
I'm cross-posting this question from Math.SE, as it didn't get much attention there.
Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
- 12.9k
3
votes
0
answers
116
views
On a functional equation of Mahler?
Recently, I was trying to introduce the concept of natural boundaries to a fellow math student, and what greater way to do this than using an example? In particular, I tried to use as an illustration, ...
- 131
2
votes
0
answers
95
views
On analytic functions on the complement of a curve without jump across the curve almost everywhere
Question. Suppose $f$ is an analytic function on $\mathbb C\setminus\mathbb R$ and assume that the boundary values of $f$ from above and below the real axis (denoted $f_\pm$ respectively) exist almost ...
6
votes
1
answer
290
views
Analytic maps on Banach spaces: analyticity upgrade
Consider the following problem.
Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and
$$ f:U\to G $$
an analytic map, such ...
- 1,075
4
votes
1
answer
227
views
Continuity upgrade for nonlinear maps
Let $E,F,G$ be topological vector spaces such that $F\subset G$ with continuous embedding.
By continuity upgrade I mean the following phenomenon: In some circumstances a continuous linear map $f:E\...
- 1,075
2
votes
0
answers
142
views
A $C^*$-algebra with the bidual $B(H).$
Let $H$ be a separable Hilbert space and let $A$ be a non-unital $C^*$-subalgebra in $B(H)$ such that the second dual $A^{**} \equiv B(H).$ Does $A$ coincide with the ideal of compact operators $K(H)?$...
3
votes
0
answers
69
views
Perturbation of one-parameter groups of unitary operators
Let $H$ be a Hilbert space and let $h$ be a fixed, densely defined, possibly unbounded, self-adjoint operator on $H$. Letting $B(H)$ denote the space of all bounded operators on $H$, it is well ...
- 2,263
1
vote
2
answers
156
views
Numerical evaluation of monomial divided differences
Suppose $f(x)=x^{n+1}$ for some $n\in\mathbb{N}$, and define the divided difference $$f[a,b]=\frac{a^{n+1}-b^{n+1}}{a-b}.$$
I am wondering about the best way to numerically evaluate $f[a,b]$ to high ...
- 8,271