**11**

votes

**1**answer

292 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

**2**answers

216 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

**0**answers

89 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

**2**answers

195 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

**1**answer

177 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

**1**answer

161 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 ...

**4**

votes

**2**answers

283 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?

**3**

votes

**0**answers

85 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

**1**answer

182 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

**3**answers

289 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

**1**answer

219 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

**1**answer

142 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

**2**answers

252 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 ...

**0**

votes

**0**answers

57 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

**1**answer

180 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 ...

**7**

votes

**1**answer

381 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

**1**answer

184 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 ...

**0**

votes

**1**answer

124 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

**2**answers

108 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

**0**answers

171 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

**1**answer

81 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 ...

**10**

votes

**1**answer

226 views

### Inner and extendible automorphisms of C*-algebras

If an automorphism $\alpha$ of a C*-algebra $A$ is inner then whenever $A$ is a subalgebra of another C*-algebra $B$, $\alpha$ obviously extends to $B$.
Is the converse true: if an automorphism ...

**1**

vote

**1**answer

131 views

### Poincare inequality on balls to arbitrary open subset of manifolds

Let $M$ be an n-dim compact Riemannian manifold with $Ric \geqslant -(n-1)$, it's well known that the following Poincare inequality holds for any function $f\in W^{1,2}(M)$
$$
\frac{1}{m(B)}\int_B ...

**2**

votes

**1**answer

185 views

### Almost sure convergence and weak star convergence

Let $(f_n)_{n\in \mathbb{N}}$ be a sequence of nonnegative measurable functions in $L_1[0,1]$. Assume that $$f_n \to f, a.e.$$ and $$\int f_n h \to \int g h, \forall h \in C[0,1].$$
Question: Do we ...

**1**

vote

**0**answers

97 views

### The category of discontinuous Banach spaces

A banach space is discontinuous if it is isometric to $DC(X)$ for some Hausdorff topological space $X$. ($DC(X)$ is defined here. We denote by $DBan$, the category of all discontinuous ...

**3**

votes

**2**answers

344 views

### Looking for some function

Is there a continuous function $F: R\to R$ such that $F$ is a surjection but not an injection, $F(Q)\subset Q$ and the restriction $F: Q\to Q$ is an injection, but not a surjection. Here $Q$ denotes ...

**3**

votes

**0**answers

104 views

### Norm condition in a Banach lattice

Consider the following "condition (J)" on the norm of a (real or complex) Banach lattice $E$: whenever $x$ and $y$ are disjoint (i.e., $|x|\wedge |y|=0$) then
$\|x+y\|+\|x-y\|=2\|x\|+2\|y\|$.
...

**2**

votes

**1**answer

242 views

### Connection between the Fourier transform of f and |f|

If $f\in L^p(R)$ with $1\leq p\leq 2$, then Hausdorff-Young inequality implies that the Fourier transform $\widehat{f}\in L^{p'}$, $p'$ is the dual exponent of $p$, and
$$
...

**13**

votes

**0**answers

256 views

### $C^*$-algebra generated by those operators that are bounded on every $\ell_p$

Suppose $T: c_{00} \to c_{00}$ is a linear map such that, when regarded as an infinite matrix, there is a uniform bound on the $\ell_1$-norms of its columns, and a uniform bound on the $\ell_1$-norms ...

**2**

votes

**0**answers

72 views

### Is logarithmic convexity of the heat kernel with complex time a general fact?

Suppose $H$ is a non-negative self-adjoint operator acting on $L^2(\mathbb{R}^n)$, and generates an analytic semigroup with kernel satisfying a Gaussian upper bound, i.e., if we denote $K(t,x,y)$ the ...

**5**

votes

**0**answers

151 views

### Is Akcoglu's theorem for power bounded positive operators still an open problem?

I am reading Ulrich Krengel's book, Ergodic Theorems; the theorem of Akcoglu's he mentions of is on page 189, theorem 2.5.
" If $T$ is a positive contraction in a space $L_p$ with $1<p<\infty$, ...

**0**

votes

**0**answers

74 views

### The norm of a Finite Hilbert matrix

Let $H$ be an $n\times n$ Hilbert matrix,
$$h_{ij}=(i+j-1)^{-1}.$$
The matrix $p$-norm corresponding to the p-norm for vectors is:
$\left \| A \right \| _p = \sup \limits _{x \ne 0} \frac{\left ...

**-1**

votes

**1**answer

52 views

### density of affine functions in $H_0^1$ [closed]

Good evening, I want to find a proof of the following theorem.
whether $K$ = {$ u \in H_0^1$ : with u piecewise affine function}.
then
$\overline{K}=H_0^1$

**4**

votes

**0**answers

252 views

### Reference request : Grothendieck's topological space valued integral

As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...

**0**

votes

**0**answers

88 views

### Probability, Topology, functional analysis problem

Consider the coarsest topology on the space of functions, whose value at a point is a probability measure on a polish space $S$, s.t. the follwoing function is continuous :
$$\nu(.) \to \int_{0}^{T} ...

**5**

votes

**0**answers

96 views

### (Un)bounded Geometry and Sobolev Spaces

This post is related to this and this post.
It is known that on a complete Riemannian manifold, the space $C^\infty_c(M)$ is generally not dense in the Sobolev spaces $W^{k, p}(M)$ ($1 \leq p < ...

**3**

votes

**0**answers

102 views

### Bounded functions dense in Sobolev Spaces

Let $M$ be a complete Riemannian manifold. Is it always true that the subspace $C^2_b(M)\cap W^{2,p}(M)$ is dense in $W^{2, p}(M)$, where $C^2_b(M)$ denotes the space of functions that are uniformly ...

**0**

votes

**0**answers

74 views

### The functional $L(\varphi)=\int_0^{2\pi}\frac{\sqrt{1-\varphi^2-(\varphi')^2}}{1-\varphi^2}d\theta$

Consider the $2\pi$-periodic inner product space $L^2[0,2\pi]$.
Let $F\triangleq\{f\in L^2[0,2\pi]|f(\theta)>0,(f(\theta),\cos\theta)=(f(\theta),\sin\theta)=0\}$.
Let $G\triangleq\{\varphi\in ...

**0**

votes

**0**answers

230 views

### Banach space of discontinuous functions on a product space

Edit: According to comments of Eric Wofsy and Yemon Choi I edit the question.
For a (compact) topological space $X$, we put $A=\{f:X\to \mathbb{C}\mid f\text{ is bounded}\}$. We define a ...

**1**

vote

**0**answers

72 views

### A bilinear estimate in Lp space

Let $\varphi(D)$ be a Fourier multiplier with symbol $\varphi(\xi) = \xi/(1+|\xi|^2)$. It's easy to prove that
\begin{equation}
\|\varphi(D)u^2\|_{H^s(R)}\lesssim \|u\|^2_{H^s(R)} \quad (*)
...

**4**

votes

**1**answer

212 views

### Calculus of variation

This is probably simple but I'm stuck somewhere. I am trying to solve the calculus of variation problem that arise in an applied field: $$\min_{f \in C^1} \int^1_0 \int^1_0 (x-y)^2f(x,y)dxdy$$ ...

**0**

votes

**0**answers

75 views

### Non-reflexive linear subspace

We know that if X infinite dimensional normed space, then weak topology smaller than normed topology.
This is my problem(from russian textbook of Bogachev-Smolyanov, Functional Analysis) :
Let X be ...

**1**

vote

**0**answers

64 views

### Nearly injective Banach spaces

There was a problem about nearly injective metric spaces posed by Aronszajn and Panitchpakdi which I actually solved in the past but it still remains open (as long as I know) for the Banach spaces--so ...

**1**

vote

**0**answers

50 views

### Convergence of solutions of the volterra integral equation with convergent kernels

Consider the following Volterra integral equation
$$
g(t) = \int_0^t K_n(t,s)w_n(s) ds
$$
where g(t) and K_n(t,s) are continuous and $K_n(t,s)\geq K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ ...

**5**

votes

**1**answer

95 views

### Continuity of central point operation

Stanisław Mazur and Stanisław Ulam, in their joint paper, characterized the mid-point $\ \frac{a+b}2\ $ in a Banach space in pure metric terms (without algebra). This allowed them to show that any two ...

**2**

votes

**0**answers

135 views

### Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)

Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...

**4**

votes

**0**answers

163 views

### Dual or pre-dual of BV

Was there any relevant work to determine the dual (or more likely the predual) of the space of bounded variation functions $BV(\mathbb{R}^n)$ (I recall the definition : a function in ...

**2**

votes

**0**answers

95 views

### Caffarelli-Silvestre extension definition of fractional Laplace-Beltrami on hypersurface

Let $\Gamma \subset \mathbb{R}^{n+1}$ be a $n$-dimensional (closed) $C^k$-hypersurface. Consider the problem
$$\nabla_\Gamma \cdot (y^{1-2s}\nabla_\Gamma u)(x,y) =0 \quad \text{for $(x,y) \in \Gamma ...

**0**

votes

**1**answer

167 views

### How to solve this differential equation with an infinite sum?

I would like to find solutions of the following differential equation:
$ \sum_{1}^{\infty} a_n f(nx) + f''(x)+ x^2 f(x)=\lambda f(x)$
For example in space of function from $\mathbb R^*$ to $\mathbb ...

**2**

votes

**0**answers

62 views

### Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)

Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse.
Does there ...