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

learn more… | top users | synonyms (1)

9
votes
1answer
577 views

Counterintuitive consequences of the Hahn-Banach theorem

The axiom of choice has many counterintuitive consequences like the Banach-Tarski paradox. The Hahn-Banach theorem is a consequence of the axiom of choice, but it is weaker. I would like to know ...
1
vote
0answers
16 views

Solving a system of integral or series equations showing the Maximum Likelihood of Beta distribution [migrated]

Peace be upon you, In this question, I have shown that how computing MLE on an i.i.d Beta distributed data, results in the following system \begin{align*} &\begin{cases} ...
7
votes
3answers
341 views

Is there a continuous analogue of Ramanujan graphs?

I think it might help to think of the following definition of a Ramanujan graph - a graph whose non-trivial eigenvalues are such that their magnitude is bounded above by the spectral radius of its ...
1
vote
1answer
143 views

Finding a norm on $ \mathbb{R}^X $ such that the “natural” embedding of a metric space $ X $ in $ \mathbb{R}^X $ becomes an isometry

Let $ (X,d) $ be a metric space and consider the function $ T:X \to \mathbb{R}^X$ such that $ T(x)(y) = 1$ if $ y = x $ and $ 0 $ for all other $ y $. Is there a norm on $ \mathbb{R}^X$ such that $ T ...
0
votes
1answer
49 views

Rank of a sequence of covariance matrices

Let $X_i$ ($i=1, \dots$) be an orthonormal basis for $L^2(\Omega, \mathbb P)$. In particular, it holds that $$\mathbb E[X_iX_j] = \delta_{ij}.$$ Now take $Z\in L^2(\Omega, \mathbb P)$ and define ...
0
votes
1answer
151 views

James $\ell_1$-theorem

This question was asked at MSe before but with no answer. I am struggling with the very last estimate in the proof of James' $\ell_1$-theorem. (Please see below an excerpt from Albiac and Kalton's ...
1
vote
0answers
34 views

Request for reference about bound on zeroes of the Laguerre polynomials

Consider the sequence of polynomials given as, $p^{a}_k (x) = (1 - a \frac{d}{dx})^k x^n $ for some parameter $a>0$ and $k$ being a positive integer. For any positive integer $d$ it seems to be ...
0
votes
0answers
102 views

Existence of a mapping in a nonseparable Banach space

Do there exist a nonseparable Banach space $X$, a mapping $F: X\to X$, and an open nonempty subset $D\subset X$ such that $$ \forall\,E>0 \quad \exists\,\delta>0: \quad \forall\,x,y\in D \quad ...
3
votes
1answer
78 views

Equivalence discrete H^2 Sobolev norms

My aim is showing the equivalence of two discrete Sobolev norms. On $\mathbb{Z}^d$, $d\ge 2$, one defines the discrete derivative in the direction of the coordinate vector $\vec e_j$ as $$ ...
1
vote
0answers
78 views

Difference Quotients Evans

There is a theorem in Evans partial differential equation book as follows: if $u \in W^{1,p}(U)$ then for each compact $V$ in $U$ we have that: $ |D^hu|_{L^p(V)} \leq C |Du|_{L^p(U)} $ for all $ ...
3
votes
0answers
144 views

An upper bound for a 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},~ 1\leq j \leq 2^{n} \} \right\} \right)_{n ...
4
votes
0answers
94 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
0answers
211 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 ...
4
votes
1answer
133 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
1answer
88 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 ...
5
votes
1answer
120 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
0answers
114 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
1answer
83 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 ...
3
votes
0answers
85 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
1answer
108 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
0answers
108 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
1answer
133 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
0answers
93 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 ...
3
votes
1answer
164 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
1answer
119 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 ...
4
votes
2answers
241 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
0answers
103 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 ...
1
vote
0answers
43 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 ...
3
votes
3answers
482 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
1answer
77 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 ...
3
votes
0answers
57 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
1answer
194 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 ...
-1
votes
2answers
142 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
0answers
49 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 ...
3
votes
1answer
211 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
2answers
258 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
1answer
93 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
0answers
60 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
2answers
156 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 ...
4
votes
1answer
106 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
0answers
102 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
1answer
185 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
1answer
224 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
0answers
153 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
2answers
147 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
0answers
46 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
1answer
110 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
1answer
86 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
0answers
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
0answers
126 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 ...