**3**

votes

**0**answers

50 views

### The representation-theoretic nature of an operator resolvent

Consider parameter $s$ in definition of $R(s,A)=(s I - A)^{-1}$ where $A$ is a linear operator in a vector space $X$. When $X$ is over $\mathbb{C}$, then $s$ is thought to be a complex number.
Now ...

**4**

votes

**0**answers

184 views

### “Partition” of a smooth function in $\mathbb R^2$

This is a question asking for reference.
I have a proof of the following.
Let $f=f(x,y)$ be a smooth function in $\mathbb R^2$ which vanishes at the origin. Then there exist smooth functions ...

**1**

vote

**0**answers

88 views

### Are convolution algebras ever “topologically noetherian”?

For finite groups $G$, we have the group ring $k[G]$, and we can think of $G$-representations as $k[G]$-modules. It is known that for $G$ virtually polycyclic, $k[G]$ is a Noetherian ring, which means ...

**1**

vote

**0**answers

45 views

### Nonlocal Stefan problems

Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality?
A search on Google and MathSciNet give me only a handful of results which greatly ...

**3**

votes

**0**answers

63 views

### Triangle inequality for $L^1$-norm with respect to a state

It is well-known that the naive construction of non-commutative $L^p$-spaces is performed only in tracial case. I would like to know if it is really a necessity.
To wit, let $\varphi$ be a normal ...

**4**

votes

**0**answers

102 views

### Examples of topologies compatible with a given dual pair

Let $\langle X, Y \rangle$ be a pair of vector spaces put in duality by a non-degenerate bilinear form $\langle \cdot, \cdot \rangle: X \times Y \to \mathbb{R}$. A topology $\tau$ on $X$ is called ...

**-1**

votes

**1**answer

82 views

### What is the definition of maximal ε-separated set

Nowadays, I am just studying the book wrote by Joram Lindenstrauss and Yoav Benyamini,i.e. Geometric Nonlinear Functional Analysis. The putfroward "maximal ε-separated set".I really can not understand ...

**0**

votes

**0**answers

54 views

### Show that $H=\oplus_{\alpha \in \sigma(T)}\text{ker}(\alpha I -T)$ [on hold]

Suppose $T$ is an operator on a Hilbert space $H$ such that $\sigma(T)=\sigma_{p}(T)$ (point spectrum of $T$), and for each $\alpha \in \sigma(T)$, the corresponding eigenspace ker$(\alpha I-T)$ is a ...

**3**

votes

**0**answers

75 views

### Is exponential function in a C*-algebra injective on self-adjoint elements?

I asked this question in stackexchange, but it flashed and disappeared:
Let $A$ be a C*-algebra and $\exp(x)=\sum_{n=0}\frac{x^n}{n!}$, the usual exponential function from $A$ into $A$. Is it true ...

**0**

votes

**1**answer

101 views

### Complementation in tensor products

This question, however looks innocent, looks non-trivial to me. Suppose that $X$ and $Y$ are Banach spaces and let $\alpha$ be any reasonable cross-norm on $X\otimes Y$. Reasonable means that ...

**1**

vote

**0**answers

86 views

### Applications of composition operators on Sobolev spaces

I wold like to know some examples where composition operators on Sobolev spaces are useful. I'm in the following situation.
$L^1_p(D)$ - homogeneous Sobolev space, in other words space of locally ...

**3**

votes

**1**answer

108 views

### What are the applications of Grillakis Shatah and Strauss paper?

I am studying the following paper.
Manoussos Grillakis, Jalal Shatah, and Walter Strauss, Stability theory of solitary waves in the presence of symmetry. I, J. Funct. Anal. 74 (1987), no. 1, 160–197.
...

**4**

votes

**0**answers

84 views

### Pseudodifferential operators on compact manifolds with boundary

I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...

**-1**

votes

**0**answers

34 views

### question related to kernel methods [closed]

i have some questions related to kernel methods in Machine Learning,hope someone can give proves. K(x,y) is kernel iff 1.K is symmetric 2.K is positive definite. ...

**3**

votes

**1**answer

154 views

### Is this inequality true?

Let $\Omega$ be a bounded domain with smooth boundary. Let $$ S=\{u\in C^2(\overline \Omega): \frac{\partial u}{\partial n}=0 \text{ on } \partial\Omega \}.$$ Fix $\Phi\in S$ with $\Phi(x)>0$ for ...

**4**

votes

**1**answer

112 views

### Some questions on analytic vectors and the integrability of Lie-algebra representations

I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...

**-2**

votes

**0**answers

68 views

### The space $W = \{u \in L^2(0,T;V) : u_t \in L^2(0,T:V^*)\}$ without having identified $H$ and $H^*$ [closed]

Let $V \subset H \subset V^*$ be a Gelfand triple with the Hilbert space $H$ identified with its dual space and $V$ a reflexive separable Banach space.
Define $W = \{u \in L^2(0,T;V) : u_t \in ...

**4**

votes

**2**answers

231 views

### Topological characterization of injective metric spaces

Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ ...

**2**

votes

**0**answers

95 views

### Reference request: functional analysis results used in Taubes paper (1980)

I'm studying Taubes paper 'Arbitrary N-vortex solutions to the first order Ginzburg-Landau equations'. I'm looking for a reference of three following theorems:
Let $f(x)$ be a convex funtional ...

**-2**

votes

**0**answers

56 views

### Identification of Hilbert space with dual follows from another identification? [closed]

Let $X$ be a Hilbert space with inner product $(\cdot,\cdot)_X$, and let $Y$ be another Hilbert space with inner product $(\cdot,\cdot)_Y$. Suppose there is a bijective continuous linear operator $F:X ...

**1**

vote

**0**answers

40 views

### Rate of convergence in narrow convergence

Does anyone help me in the following question?
I have a sequence of probability measures $\mu_n$ and know that $\mu_n$ converges narrowly to a probability measure $\mu$. Is there any way to estimate ...

**-2**

votes

**0**answers

33 views

### T is not compact operator [migrated]

I want to show that if $T$ is a bounded operator between two Hilbert spaces and $T$ is not compact then there exists an orthonormal sequence $y_{n}$ and an $R>0$ such that $\forall n\in ...

**3**

votes

**3**answers

467 views

### What should be considered a finite size of an infinite dimensional space? [closed]

I've got a map between two infinite dimensional spaces, $f: A\to B$, where $A$ seems "larger" than $B$. For the sake of conversation let's assume that $A$ is the set of smooth maps $\mathbb R^3\to ...

**2**

votes

**1**answer

65 views

### Limit-circle and limit-point at endpoints

I was wondering if the following holds:
If you have an ODE $$-y''(x) + q(x) y(x) = \lambda y(x)$$ on a finite interval $(a,b)$ and you know that this equation is limit-circle or limit-point at the ...

**-2**

votes

**0**answers

79 views

### Closure in Hilbertspace [closed]

I know that i asked this question already on stackexchange.com (http://math.stackexchange.com/questions/983377/closure-in-a-hilbertspace)
Define for a pure contraction $S$ (remember: $\|S\|\leq1$ and ...

**3**

votes

**0**answers

48 views

### Reference for existence results for 2D forced viscous Burgers equation

I am looking for results concering the following parabolic PDE
$$u\cdot\nabla u + \Delta u = F(x),$$
where $$u\colon\Omega\to\mathbb{R}^2,$$ and $\Omega\subset\mathbb{R}^2$ is a 2D domain (bounded or ...

**1**

vote

**1**answer

189 views

### Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1].
Germs of analytic functions can be distinguished by derivatives at a point.
So in both cases we see ...

**0**

votes

**2**answers

129 views

### Motivation for weak solution of a PDE (initial condition)

The following question came to me when reading the famous paper of ALT and LUCKHAUS: "Quasilinear elliptic-parabolic differential equations"
When looking at a (nonlinear degenerate) PDE like
$$ ...

**0**

votes

**0**answers

46 views

### Existence and Uniqueness of Volterra integral equations of the first kind

$$
\int_0^t k(s,t)f(s)ds=g(t)
$$
To prove the existence and uniqueness of solutions of Volterra integral equation(VIE) of the first kind, we usually differentiate it and convert to the VIE of the ...

**-4**

votes

**1**answer

113 views

### A criterion of norm null sequences in Banach space [closed]

I would like to know if for a weak* null sequence $\left( f_{n}\right) $ in a Banach space $X$,
the following characterisation is true and what about its proof:
$\left( f_{n}\right) $ is norm null ...

**3**

votes

**1**answer

209 views

### “Nice” functions on infinite-dimensional space of germs of continuous functions at a point

Consider set of all germs of continuous functions at some point.
Question: What are some functions ("any/nice/constructive/whatever") from this set to R (reals) ? (Except evalution at point and made ...

**2**

votes

**2**answers

245 views

### If $ F(x,\bullet) \in {L^{2}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

This question is related to something that I asked yesterday: If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?
Pietro Majer ...

**1**

vote

**1**answer

89 views

### How to formulate approximation from above?

(This is perhaps a stupid question. If so, please give me a hint and a down vote.)
I have a sequence of Banach spaces $X_{1}\supset X_2\supset ...$ and a sequence of elements $x_j\in X_j$ ...

**0**

votes

**0**answers

56 views

### Hill's discriminant and spectral properties of Schrödinger operator

I am currently reading this paper on Schrödinger operators see here. On page 6 and 7 they talk about Hill's discriminant and how this is connected with the spectral properties. They also show some ...

**3**

votes

**2**answers

147 views

### Schrödinger operators on a sphere

if you have a Schrödinger operator on a sphere ( $\mathbb{S}^2$) $-\Delta_{\theta,\phi} \psi(\theta,\phi) + V(\theta) \psi(\theta,\phi) = E\psi(\theta,\phi),$ where the potential does not depend on ...

**3**

votes

**1**answer

97 views

### If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...

**0**

votes

**0**answers

99 views

### Can we define log-convex operators?

Let $I\subset\mathbb{R}$. A function $f:I\rightarrow\mathbb{R}$, is said to be log-convex if $\log f$ is convex or equivalently for all $x,y\in I$ and $\alpha\in [0,1]$
$$f(\alpha x+(1-\alpha)y)\leq ...

**6**

votes

**1**answer

171 views

### Extending compact operators

Let $X$ be a separable, infinite-dimensional complex Banach space and $Y\subseteq X$ an infinite-dimensional closed subspace. Suppose $K:Y\to X$ is an arbitrary compact operator. I would like to ...

**3**

votes

**1**answer

212 views

### Is $L(\ell_2,\ell_2)$ dense in $L(\ell_2,c_0)$?

Let $\ell_2:=\{ x:\mathbb{N} \to \mathbb{R}: \sum_{j=1}^\infty x_j^2<\infty\}$ and
$c_0:=\{ x:\mathbb{N} \to \mathbb{R}: \lim_{j\to\infty}x_j=0,\, \sup_{j\in\mathbb{N}}|x_j|<\infty\}$ denote the ...

**0**

votes

**0**answers

149 views

### Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j} \stackrel{\text{df}}{=} \left[ ...

**3**

votes

**2**answers

139 views

### Is every Montel locally convex vector space compactly generated?

Let $X$ be a Hausdorff locally convex vector space. Recall (my reference is the book of H. Jarchow, Locally Convex Spaces. B.G. Teubner, 1981) that we say that $X$ is a semi-Montel space if every ...

**1**

vote

**0**answers

42 views

### Uniform bounds for a coupled parabolic system of PDE (linear)

Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$.
Consider the system, with $u^\epsilon, v^\epsilon ...

**3**

votes

**1**answer

105 views

### Has uniform ellipticity implications on the spectrum?

Let $X$ be a complete Riemann surface with a smooth metric, and $L$ a line bundle on it also equipped with a smooth metric; associated to this data there is a Laplace-Beltrami operator $D_L$ acting on ...

**4**

votes

**1**answer

79 views

### A Hilbert-space completion of a Hilbert $ C^{*} $-module over a separable $ C^{*} $-algebra

Let $ B $ be a separable $ C^{*} $-algebra and $ \mathcal{E} $ a Hilbert $ B $-module. We know that $ B $ has a faithful state $ \phi $. Using $ \phi $, we can construct a $ \mathbb{C} $-valued ...

**2**

votes

**0**answers

112 views

### Two isomorphic Gelfand triplets, is there a problem?

For $j=1, 2$, let $V_j \subset H_j$ be a dense and continuous embedding with $V_j$ a Banach space and $H_j$ a Hilbert space. Identify $H_1 = H_1^*$ and $H_2 = H_2^*$ (using Riesz representation) so ...

**7**

votes

**0**answers

118 views

### What's the appropriate notion of a Unitary representation of a Lie algebra?

Here Lie algebras/groups are real. The most straightforward definition might be:
Def: A representation $\rho:\mathfrak{g} \rightarrow \mathfrak{gl}(V)$ is unitary if $V$ is equipped with a Hermitian ...

**1**

vote

**1**answer

129 views

### Estimates on evolution operator

Let's consider the following evolution operator in $\mathbb{R}^3$
$$S(t)=e^{(i+\delta)t\Delta }$$
How to get the following estimate
$$\Vert S(t)f\Vert_2\leq C_\varepsilon t^{-\frac{1}{4}}\Vert ...

**12**

votes

**1**answer

235 views

### Discrete subsets in the topology of pointwise convergence vs. metrisability

While reading Arkhangel'skii's Topological function spaces, I encountered an unexpected application of Martin's Axiom. This is Theorem II.5.20:
Assume $\mathsf{MA}+\neg \mathsf{CH}$. Let $X$ be a ...

**5**

votes

**0**answers

89 views

### A Banach space with all Hilbertian subspaces complemeneted

Assume that $X$ is a Banach space in which every Hilbertian subspace is complemented (let's say that all the projections are uniformly bounded). What can we say about $X$? It has to be K-convex. By ...

**13**

votes

**2**answers

362 views

### What is the minimal $C_k$, such that every $f\colon \{-1,1\}^n\to \mathbb{R}$ of degree at most $k$ satisfies $\|f\|_2\le C_k\|f\|_1$

Every $f\colon\{-1,1\}^n\to \mathbb{R}$ can be repsenented as a multilinean polynomial of the form $$f(x_1,x_2,\ldots ,x_n)=\sum _{S\subseteq [n]} \hat{f}(S)\prod_{i\in S} x_i $$ The degree of the ...