Tagged Questions

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

learn more… | top users | synonyms (1)

1
vote
3answers
134 views

Continuity in banach space for non-linear maps

I want to find an example of a Banach space $X$ and a continuous map $f:X\rightarrow X$ such that $f$ is not bounded on the unit ball. I do not doubt that such an example exists, but I cannot make it ...
2
votes
0answers
61 views

Donsker's Theorem for triangular arrays

I should mention that I already posed this question on Math Stack Exchange, but didn't receive much feedback. Assume we have a sequence of smooth i.i.d. random variables $(X_i)_{i=1}^{\infty}$. Given ...
-2
votes
0answers
39 views

About diagonal entries of the graph Laplacian

[..in the following you can assume its a regular graph if necessary..] Is anything special known about them? Are they characterized in any other way? Is the largest diagonal entry in any power of ...
7
votes
0answers
170 views

Proving that a space is Hilbert

Let $H=H_0^1(0,\ell)\times H_*^1(0,\ell)\times H_*^1(0,\ell)$ be equipped with the norms \begin{align*} ...
0
votes
0answers
90 views

A question about the duality principle

Suppose $X$ and $Y$ are finite sets and $K:X\times Y\to \mathbb R$ is some function. We get an integral transform from the space of real functions on $X$ to real functions on $Y$ given by ...
2
votes
0answers
69 views

What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?

I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it. Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with $ \operatorname{supp} \phi ...
0
votes
0answers
35 views

What is the Vapnik-Chervonenkis dimension of sigmoidal functions? [migrated]

Consider the following class of functions: $F=\{f_w:R^d \rightarrow [a,b], f_w(x)=\sigma(w^Tx), \forall x\in R^d\}$, where $\sigma(\cdot)$ is a sigmoidal function (e.g. tanh, or sigmoid so it has ...
0
votes
0answers
102 views

Unitary operators on Hilbert spaces [on hold]

Consider the set $U(H)$, of unitary operators on the real separable Hilbert space $H$. Fix an orthonormal basis $\{e_i\}$ of $H$. Is the subset $S$ of $U(H)$ corresponding to finite dimensional ...
2
votes
1answer
82 views

Necessary conditions for optimality in Banach spaces

Let $X$ denote the non-negative "orthant" of the Banach space $L^2$ (or whatever you call the set of functions in $L^2$ that are non-negative), and let $C$ be a closed, convex subset of $X$. Let $f$ ...
3
votes
1answer
186 views

C*-Algebras: Dynamics vs. Derivations

Problem Given a C*-algebra $\mathcal{A}$. Consider dynamics $\tau:\mathbb{R}\to\mathrm{Aut}(\mathcal{A})$ and $\tau':\mathbb{R}\to\mathrm{Aut}(\mathcal{A})$. (More precisely, strongly continuous ...
1
vote
1answer
149 views

On the Hölder regularity of an integral function

Let $n\geq 3$. Let $\Omega$ be an open and bounded subset of $\mathbb{R}^n$. Let define $X_0$ as the space of functions $f:\bar\Omega\times\partial\Omega\to\mathbb{R}$ such that $f(x,\cdot)$ is ...
0
votes
1answer
240 views

About an integral equation

I would like to obtain $g$ by solving the following integral equation $$ \int_s^T R(u) dg(u) + f(s,T)\int_s^T g(u)du =0$$ where $f,R:\mathbb R _+ ^*\rightarrow \mathbb R _+ $and $g: \mathbb R _+ ...
4
votes
1answer
163 views

Isomorphisms between spaces of test functions and sequence spaces

I am in the process of writing some self-contained notes on probability theory in spaces of distributions, for the purposes of statistical mechanics and quantum field theory. Perhaps the simplest ...
2
votes
1answer
208 views

Sobolev Space, “characteristic function” for the weak derivative

Let $\Omega$ be an open bounded subset of $\mathbb{R}^N$, working in the space $H_0^1(\Omega)$ with the inner product $$(u,v)_{H_0^1} = \int_\Omega \nabla u \cdot \nabla v$$ for $u\in H_0^1$ and ...
4
votes
2answers
591 views

What does analyticity imply in complex analysis? [closed]

In complex analysis, we're constantly faced with problems about the analyticity of a function, on which many theorems are developed. I of course know a bunch of formulas and theorems, but could not ...
9
votes
1answer
317 views
+50

Between compact and locally uniform: What is the name of this convergence?

Let $X$ be a topological space, $(Y,d)$ a metric space, $f\in Y^X$, and $(f_n)$ a sequence in $Y^X$ with the following property: For every $x_0\in X$ and every $\varepsilon>0$, there exist a ...
-6
votes
0answers
66 views

How can I prove that [closed]

Let we have the space C[a,b] ( the space of all functions that are continuous on closed interval [a,b] ) And we have two norms on this space ||X||1=max|x(t)| such that t belongs to [a,b] ...
1
vote
2answers
263 views

How to prove that a kernel is positive definite?

For example, how to prove $\forall(x,y)\in R^N\times R^N,K(x,y) = \displaystyle\frac{1}{1+\frac{||x - y||^2}{{\sigma}^2}}\\$ where $\sigma > 0$ is a parameter, is positive definite? I have tried to ...
2
votes
1answer
207 views

Extensions in parabolic Hölder spaces

Let $\alpha\in ]0,1[,k\in\mathbb{N}.$Let $\Omega$ be a open and bounded subset or $\mathbb{R}^n$ of class $C^{k+\alpha}$. As one could find in G.M. Troianello "Elliptic Differential Equations and ...
-7
votes
0answers
94 views

off-topic government question [closed]

We are estimating the spares requirement for a radar power supply. The power supply was designed with a mean (μ) life of 6500 hours. The standard deviation (σ) determined from testing is 750 hours. ...
4
votes
1answer
251 views

When is a `1-form' with continuous coefficients exact?

Let $\Omega$ be a convex, bounded open subset of $\mathbb{R}^d$, and let $C^1(\bar \Omega)$ be usual space of continuous functions on $\bar \Omega$ which are $C^1$ in $\Omega$ and whose partials in ...
0
votes
1answer
146 views

Orthogonal projection

Let $G$ be an operator with compact resolvent on a Hilbert space $H$ such that $\ker G \neq \{0\}$. Further let $P$ be the orthogonal projection onto $\ker G$, and let $G_{0} := G+P$. My question is: ...
7
votes
6answers
410 views

What is the best reference for Spectral theory?

I'm studying Bernard Aupetit: A Primer on Spectral Theory but the textbook we are using is a little bit heavy going for me. Is there a best book to learn about these things? Thank you.
0
votes
0answers
46 views

A question related to the Nikolskii fractional spaces

Consider a Nikolskii space, that is $$ N^{s,p}=\{f\in L^{p}(I, d\ell): \|f\|_{\overline{N}^{s,p}}=\underset{h>0}{\sup}h^{-s}\|\tau_{h}f-f\|_{L^{p}(I_{h})}<\infty \}, $$ where ...
6
votes
0answers
133 views

Is an infinite-dimensional “Lebesgue measure” uniquely determined by a set of positive finite measure?

Let $\mu$ be a probability measure on a subset $C \subset \mathbb{R}^\infty$ of the space of sequences, and assume, for simplicity, that $C$ is closed and convex. We say that $\mu$ admits shifts if ...
1
vote
0answers
78 views

continuity with respect to weak-${\ast}$ topology

Let $V:=V([0,1],R)$ be the space of all cadlag functions defined on $[0,1]$ of bounded variation. Thus any element $v\in V$ determines a signed measure $\nu$ on $[0, 1]$ given by the formula $\nu([0, ...
-4
votes
2answers
97 views

Does the Laplacian commutes with the indicator function [closed]

We define the laplacian operator $\Delta$ with the Neumann boundary conditions on the space $H^2(\Omega)$, where $\Omega$ is an open set of $\mathbb{R}^n$ with a smooth boundary $\partial\Omega$, and ...
2
votes
1answer
93 views

A question about Skorokhod metric

I have a question related to the Skorokhod distance. Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\Lambda$ be the collection of non-decreasing continuous ...
1
vote
1answer
132 views

Smooth curves in a Frechet space

Is the space $C^{\infty}([0,1];C^{\infty}(S^1))$ equal with the space $C^{\infty}([0,1]\times S^1)$ ? I am interested in characterizing the smooth curves in the space $C^{\infty}(S^1)$ where $S^1$ is ...
3
votes
1answer
69 views

Skorokhod distance between $\omega, \omega\circ f_{\varepsilon}$ and $\omega, \omega\circ b_{\varepsilon}$

Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\rho$ be the Skorokhod metric on $\Omega$, see e.g. http://en.wikipedia.org/wiki/C%C3%A0dl%C3%A0g Now define ...
3
votes
1answer
134 views

A nilpotency question on $C^{*}$ algebras

What is an example of a $C^{*}$ algebra $A$ with the property that: for every nilpotent(Quasi nilpotent) $a$ and for every $n\in \mathbb{N}$, there is a $b$ with $b^{n}=a$. To what extent ...
6
votes
0answers
151 views

What function space does holomorphic functional calculus give us?

Let $A$ be a unital Banach algebra, $U$ be an open subset of $\mathbb{C}$, and $A_U:=\{x\in A:\sigma(x)\subset U\}$. Holomorphic functional calculus says that any holomorphic function ...
4
votes
1answer
80 views

Approximation of sets by sets with regular border

What kind of conditions on a (bounded) set $E \subset \mathbb{R}^{n}$ ensure that it can be approximated from outside/inside by sets with regular border (say Lipshitz or $C^{k}$ conditions) in the ...
2
votes
0answers
89 views

Counterexample for closed graph theorem in unmetrizable case

Consider locally convex vector spaces $X,Y$ and let $A: X\to Y$ be a linear operator with closed graph. Closed Graph Theorem states that if $Y$ is Fréchet then $A$ is continuous. What is a ...
1
vote
0answers
39 views

Representing a Pullback as an Infinite Matrix

Let $M$ and $N$ be manifolds and let $T: M \to N$ be a bijective map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) be the space of all functions from $M$ (resp. $N$) to ...
1
vote
0answers
85 views

Properties of a function from its pullback

Edit: I have now removed the duplication previously referred to. Thank you. Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ ...
2
votes
1answer
121 views

Inverse Problem for Pullback

Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) denote the space of smooth functions from $M$ (resp. $N$) ...
0
votes
0answers
49 views

existence of locally translation-invariant Borel measure on Frechet manifolds

It is well known that the only locally finite, translation-invariant Borel measure on an infinite-dimensional, separable Frechet space is the trivial measure. I am wondering about an analogous ...
0
votes
1answer
113 views

Exploiting the Linearity of the Pullback [closed]

Edit: This question has been significantly revised. Some recent developments in computational geometry (for example see http://geometry.stanford.edu//papers/fmfrmbs-obsbg-12/fmfrmbs-obsbg-12.pdf) ...
6
votes
3answers
312 views

Pathological product space norm

Let $X$ and $Y$ be two normed vector spaces and $n(\cdot, \cdot)$ be any norm on $\mathbb{R}^2$. Is it always possible to define a norm on the product vector space $X \times Y$ as $||(x, y)||_{X ...
1
vote
1answer
120 views

Wendel Theorem for center of group algebra

Let $G$ be a locally compact SIN-group. Then $ZL^{1}(G)$ has a bounded approximate identity. I want to prove that the multiplier algebra of $ZL^{1}(G)$ is equal to $ZM(G)$ (center of measure algebra). ...
3
votes
1answer
163 views

A.e. pointwise convergence of L2 functions - counterexample for generalization of Carleson's thm

Let $f_n \in L^2[0,1]$ be an orthonormal sequence and let $c_n \in \mathbb C$ be such that $\sum_{n = 1}^{\infty} |c_n|^2 < \infty$. Does this imply that the sequence $\sum_{n = 1}^{\infty}c_nf_n$ ...
4
votes
1answer
75 views

Reference request: Wasserstein metric spaces for non linear weights/mobility?

There is a very nice theory of gradient flows in metric spaces by Ambrosio, Gigli and Savaré. One particularly important application is the quadratic Wasserstein setting, where the metric space in ...
0
votes
0answers
73 views

SVD of Frechet derivative

This is mainly a reference request. Is there a particular characterization of operators A from a Hilbert space H to itself such that the Frechet derivative A'(u) exists for each $u \in H$ and for any ...
9
votes
1answer
573 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
336 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
48 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 ...