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

learn more… | top users | synonyms (1)

0
votes
0answers
88 views

Solution to a PDE with constant data - what is the fault in my proof?

Let $C=\Omega \times (0,\infty)$. We want to find a solution $v \in H^1(C)$ such that given $u \in H^{\frac 12}(\Omega)$, $$\int_0^\infty\int_\Omega \nabla v \nabla \varphi + v_y\varphi_y = ...
0
votes
0answers
44 views

Can we conclude that $\varphi(L_xf_0)\neq0$ for every $x\in G$?

Let $H$ be a compact subgroup of locally compact topological group $G$ and $A=\{f\in L^1(G); R_hf=f(a,e)\forall h\in H\}$ as a subalgebra of $L^1(G)$ by convolution of $L^1(G)$. If $\varphi \in ...
0
votes
0answers
43 views

Completeness of spaces $\Lambda(\varphi, p)$

Definition 1. Let $f$ be measurable function on a mesurable subset $E\subset \mathbb R^n$. Non-increasing rearrangement of $f$ is a function $f^\ast(x)=\inf\{s>0: \operatorname{mes} E[|f| > s] ...
0
votes
0answers
88 views

How do I prove this statement about the operator norm? [on hold]

I stumbled across this equation in a paper, but I can't find the paper any more and I'm not sure if I remember it correctly. By definition of an operator norm, $$\left[(D^*D)^{-1} - ...
1
vote
0answers
86 views

Generating the sigma algebras on the set of probability measures

I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and ...
3
votes
1answer
173 views

Is the conditional expectation a contraction in weak $\mathbb L^p$ spaces?

Let $(\Omega,\mathcal F,\mu)$ be a probability space. It is well-known that if $\mathcal A$ is a sub-$\sigma$-algebra of $\mathcal F$, $p\geqslant 1$ and $X$ is an element of $\mathbb L^p$ which takes ...
0
votes
0answers
86 views

What is the spectrum of $L^1(G:H)$?

Let $H$ be a compact subgroup of a locally compact topological group $G$ and $$ L^1(G:H)=\{f\in L^1(G): R_h f=f\;(a.e)\; \forall h \in H\}$$ and $\widehat{(G:H)}=\{\xi\in \hat{G}:\xi|_H=1\}$($\hat{G}$ ...
0
votes
0answers
64 views

Gateaux but not Frechet differentiable functional [migrated]

For functional between Banach spaces X,Y: By Gateaux differentiable at $u\in X$ I mean that there exists bounded linear operator $dF(u)$ s.t. $F(u+t\xi)-F(u)=dF(u)\xi+o(t)$ for all $\xi\in X$. For ...
5
votes
1answer
155 views

Can we extend a multiplicative linear functional of a closed left ideal on whole of the algebra?

Let B be a closed left ideal of a Banach algebra A. Also, B has a right approximate identity (in B). If g is a nonzero multiplicative linear functional on B, can we always extend g to a ...
0
votes
0answers
58 views

Existence of a complementary closed subspace extending a given subspace

Let $H$ be an infinite dimensional (separable) Hilbert space (or any infinite dimensional Banach space in which every closed subspace has a complementary subspace). Suppose that $X$ and $Y$ are closed ...
0
votes
0answers
33 views

Dependence of weak solution of an equation on a parameter

For each $p \in [a,b]$, let $X_p$ be a Hilbert space with $Y_p \subset X_p$ a subspace and we are given a bilinear form $a_p(\cdot,\cdot):X_p \times X_p \to \mathbb{R}$. Given $u_p$ with $p \mapsto ...
2
votes
0answers
159 views

Is $\mathcal{K}(H)$ injective $\mathcal{B}(H)$-module?

Does anyone know if the right Banach $\mathcal{B}(H)$-module $\mathcal{K}(H)$ is injective? The same question for $\ell_\infty$-module $c_0$. Both these modules are not dual, so standard arguments ...
1
vote
0answers
35 views

Measurability of eigenelements $s \mapsto (\varphi_k(s), \lambda_k(s))$ of Laplace-Beltrami on $M_s$

For each $s \in [a,b]$, let $M_s$ be a compact Riemannian manifold with no boundary. Under what conditions on $s \mapsto M_s$ do the eigenvalues and eigenfunctions $(\varphi_k(s), \lambda_k(s))_{k ...
1
vote
1answer
127 views

Sequence of smooth maps converging to the identity [on hold]

Let $\{g_{n}:B_{1}(0) \rightarrow \mathbb{R}^{2}\}_{n\in \mathbb{N}}$ be a sequence of smooth maps where $B_{1}(0)=\{x\in \mathbb{R}^{2} \mid |x|<1\}$ is the unit ball in $\mathbb{R}^{2}$. Assume ...
3
votes
1answer
169 views

adjoint of this closed (?) operator

I am currently dealing with an unbounded operator $T:\{f \in L^2(-2\pi,2\pi); f \in AC((-2\pi,2\pi)), T(f) \in L^2, \lim_{x \rightarrow \pm 2 \pi} f(x)g(x)=0\} \subset L^2(-2\pi,2\pi)\rightarrow ...
3
votes
1answer
80 views

If $u_n \to u$ in $H^{\frac 12}(\partial\Omega)$, does $f(u_n) \to f(u)$ in $H^{\frac 12}(\partial\Omega)$ for $f$ Lipschitz?

Let $f:\mathbb{R} \to \mathbb{R}$ be a smooth function with $|f'(x)| \leq C$ for all $x$ and $f(0)=0$. Suppose $u_n \to u$ in $H^{\frac 12}(\partial\Omega)$, where $\Omega$ is a bounded domain of ...
2
votes
0answers
58 views

Nuclearity properties of Integral operators with Schwartz type kernels

Consider an integral operator $$T:L^2({\mathbb R}^n)\to L^2({\mathbb R}^n),\qquad (Tf)(x)=\int_{\mathbb R^n} dy\,K(x,y)f(y),$$ with Schwartz type kernel $K\in{\mathscr S}({\mathbb R}^{2n})$ (smooth ...
3
votes
0answers
61 views

Stationarity of Brownian motion with drift

Suppose the following SDE for $X_t$ is well-posed: $$dX_t = \sqrt{2}\, dB_t - \nabla\Phi(X_t)\,dt.$$ For what $\Phi\in C^1(R^d)$ will $X$ have stationary distribution $u_{\infty}$? For what $\Phi$ ...
7
votes
0answers
81 views

Approximate singular value decomposition in Banach spaces

I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are ...
1
vote
0answers
34 views

Discrete J-method of interpolation

The discrete $J$ method is, given Banach spaces $A_0$ and $A_1$: The interpolationn space $[A_0, A_1]_\theta$ is defined by: $a \in [A_0, A_1]_\theta$ if and only if $a$ can be written as ...
0
votes
0answers
58 views

Restriction of derivations on $C^\infty(X)$

In 'Kriegl, Michor - A convenient setting for global infintite-dimensional analysis', they say that for an element $x$ in a convenient (i.e. Mackey-complete locally convex) space $X$, a bounded ...
1
vote
0answers
60 views

A reasonable framework to study properties of operator $A \mapsto KAK$ on Banach space

Let $K$ be a continuous linear operator on $C[0,1]$ (more, precisely, it is a linear integral operator). Then $K$ defines a continous linear operator $\widehat K$ on $\mathcal L(C[0,1])$ by the rule ...
2
votes
1answer
83 views

Proper domain for operators

in this paper on arxiv in equation 27, two operators $$A_m^* = (1-x^2)^{\frac{1}{2}} \frac{d}{dx} + \frac{mx}{\sqrt{1-x^2}}$$ and $$A_m = - \frac{d}{dx}(1-x^2)^{\frac{1}{2}} + ...
1
vote
0answers
121 views

Integration in C^* algebra

Let $\mathfrak{A}$ be a C${}^*$ algebra and $\mathbb{R}\ni s \mapsto \alpha_s$ a continuous family of its automorphisms. Is it true that $$ \int d s \, f(s)\, \alpha_s(A) $$ is well defined as a ...
0
votes
1answer
132 views

A question on the Lebesgue differentiation theorem

In the paper [Jessen, B., Marcinkiewicz, J., and Zygmund, A. Note on the differentiability of multiple integrals. Fundamenta Mathematicae 25.1 (1935): 217-234] it is considered the limit $$ ...
9
votes
1answer
205 views

Krein Milman theorem without the axiom of choice

The Krein-Milman theorem asserts that in a locally convex topological vector space, a nonvoid compact convex subset is the closed convex envelope of its extreme points. But I would like to know when ...
3
votes
2answers
206 views

Heat equation and evolution of number of critical points

Let $u_0$ be a smooth function on the unit sphere $S^1$ and assume that $u(t,x)$ is a smooth solution of the heat equation with initial data $u(0,x)=u_0(x)$. How one can apply the maximum principle to ...
0
votes
0answers
86 views

Functional Calculus and Fredholm index

Let $-\Delta: W^{2,2} \subset L^2(\mathbb{S}^2) \rightarrow L^2(\mathbb{S}^2)$. Then it is "easy" to show that $-\Delta $ is self-adjoint. Now, I am looking for closed operators $T$ and $T^*$ of order ...
2
votes
2answers
183 views

About a completion of a Sobolev space

Let $\Omega$ be a bounded smooth domain and define $\mathcal{C} = \Omega \times (0,\infty)$. Below, $x$ refers to the variable in $\Omega$ and $y$ to the variable in $(0,\infty)$. The map ...
2
votes
1answer
165 views

Lusternik-Schnirelmann Theorem

In various paper i found this: But i don't find this theorem of Lusternik-Schnirelmann, have you an idea where i can find this theorem, the condition? Thank you.
3
votes
1answer
135 views

Equivalence of Gaussian measures

Let $H$ be a separable Hilbert space and $N(0, C)$ and $N(0, D)$ be Gaussian measures on it. Further, for each $v \in H$, define $R_v = \frac{\left\langle v,Cv \right\rangle}{\left\langle v,Dv ...
3
votes
2answers
253 views

Number of critical points of smooth functions on $S^1$

Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?
0
votes
1answer
105 views

Poisson integral

Given $g\in L(S_{2n-1}) $ we can define its Poisson integral $\mathcal{P}_{m}^{\lambda}g(z)=\int_{S_{2n-1}}\mathcal{P}_{m}^{\lambda}(z,w)g(w)dw$ my question how I can determine ...
2
votes
0answers
81 views

On a variant of Eidelheit's theorem

A theorem of Eidelheit from 1940's asserts that two Banach spaces $X$ and $Y$ are isomorphic if and only if $L(X)$ and $L(Y)$, the algebras of all bounded linear operators, are isomorphic as Banach ...
5
votes
1answer
175 views

James' theorem—going from the separable case to the general case

Consider the following famous theorem by Robert C. James (1964): Let $X$ be a Banach space over $\mathbb R$ and $C$ a non-empty, bounded, weakly closed subset. Then, $C$ is weakly compact if and ...
1
vote
3answers
282 views

Decompose the Laplacian

Is there a way to write the negative Laplacian on the 2-sphere as a decomposition of an operator $A$ and its adjoint $A^*$? I am interested in finding such a decomposition, but I could not get one by ...
6
votes
1answer
205 views

Subadditivity of the square root for matrices

For positive numbers $a$ and $b$ we have the inequality $\sqrt{a+b} \leqslant \sqrt{a} + \sqrt{b}$. Is it true that the same holds if we take $a$ and $b$ to be positive semidefinite matrices? If not, ...
2
votes
1answer
128 views

Survey on functional equations and inequalities

Where can I find a comprehensive survey monograph on functional equations and inequalities from sketch to current research trends with some focus on applications (both inside and outside mathematics)? ...
1
vote
2answers
237 views

Witten index non-trivial in the context of Quantum Mechanics?

Let $H$ be a self-adjoint Hamiltonian and $H$ admits a decomposition into closed operators $D,D^*$, such that we have $H = D^*D$. I will now consider the one-dimensional case on a compact set: So ...
-1
votes
0answers
69 views

Lagrange Multipliers for linear functionals [on hold]

Say I have a Banach-space $X$ and linear (!) functionals $f,g$, and I'm trying to solve the constrained optimization problem $$max~f(x)\quad s.t.~g(x)= 0,~\Vert x\Vert\le 1.$$ Suppose I can show ...
0
votes
0answers
54 views

Fractional Sobolev space on compact manifold as integral

Is it possible to define the fractional Sobolev space $H^{\frac 12}(M)$ on a compact (closed) Riemannian manifold $M$ as the set of $u \in L^2(M)$ such that $$\int_M\int_M ...
1
vote
1answer
169 views

A calculus question related to the nonnegative definite functions

I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that $$ \int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge ...
0
votes
0answers
48 views

Invariant subspace of bounded self-adjoint operator [migrated]

Assume that we have a self-adjoint operator $T: H \rightarrow H$ with a representation $T(x) = \sum_{n=0}^{\infty} \lambda_n \langle x , x_n \rangle x_n,$ so we have pure point spectrum. Now, I was ...
6
votes
1answer
353 views

What is the idea behind interpolation spaces?

I am working through a text on Numerics for SPDEs and there the concept an interpolation (Hilbert-)space associated to an operator is used. To be specific: Definition. Let $H$ be an ...
-3
votes
1answer
175 views

Hilbert space vector representation for data in a metric space. Where am i wrong in this experiment?

Consider the function space $M$ such that all its elements are of bounded variation, square integrable and of unit norm. An equivalence class is defined over this set as, $f \sim g$ iff for some ...
4
votes
0answers
441 views

Can you equip every vector space with a Hilbert space structure? [migrated]

Suppose that we have a vector space $X$ over the field $\mathbb F \in \{ \mathbb R, \mathbb C \}$. Question: Does there exist a Hilbert space $\widehat X$ over $\mathbb F$ such that $\widehat X$, ...
0
votes
1answer
103 views

$\epsilon$-nearly isoclinic

Question: Two $k$-dimensional subspaces $W_1,W_2$ with associated orthogonal projections $P_1, P_2$ are isoclinic with parameter $\lambda \ge 0$ if $P_1P_2P_1=\lambda P_1$ and $P_2P_1P_2=\lambda P_2$. ...
0
votes
2answers
105 views

Friedrichs/Poincare inequality on $S_n \times (0,\infty)$?

Should I expect the following Friedrichs/Poincare inequality to hold for $u \in C^\infty(S_n \times (0,\infty))$ with $u(x,0) = 0$: $$\int_{S_n \times (0,\infty)}|u|^2 \leq C\int_{S_n \times ...
1
vote
0answers
159 views

Estimating the kernel of Poisson semigroup $e^{-z\sqrt{-\Delta}}$ for complex $z$

Let $f(z,a)$ be an analytic function on $C^+=\{\Re z>0\}$ for each fixed $a>0$, and we have the following (weaker) estimates $$ |f(re^{i\theta},a)|\leq C (r\cos\theta)^{-n}, ...
0
votes
1answer
80 views

When is a Parseval frame an orthonormal basis? [closed]

every orthonormal basis is a parseval frame. but what about the converse in the finite dimensional case? Let's say $H$ is a n-dimensional Hilbert space and $a_1,..,a_n$ a parseval frame. then, of ...