**3**

votes

**2**answers

233 views

### Riesz's representation theorem for non-locally compact spaces

Every version of Riesz's representation theorem (the one expressing linear functionals as integrals) that I have found so far assumes that the underlying topological space is locally-compact. (For ...

**1**

vote

**0**answers

36 views

### Epi-convergence to indicator function

Let the indicator function be defined as $$I(x) \triangleq \begin{cases} 1, & \quad x \geq 0 \\ 0, & \quad x < 0 \end{cases}$$ and $I_{\nu}(x) \in [0,1]$ be a continuous approximation of ...

**0**

votes

**0**answers

69 views

### Comparison between operators

I have found the following two concepts:
$\bullet$ Let $L$ be a linear operator in a Hilbert space $H$. The
operator $B$ is said to be $L$-compact if $D(L)\subset D(B)$
and for any ...

**0**

votes

**0**answers

92 views

### A parabolic PDE with Lipschitz nonlinearity, how to obtain well-posedness?

Let $\Omega$ be a bounded smooth domain in $\mathbb{R}^n$ (or more generally a compact manifold). I'm interested in well-posedness (existence most importantly) of equations of the form
$$u_t(t) - ...

**3**

votes

**1**answer

182 views

### The norm of a separable Banach space can be determined by countable continuous linear functionals?

Recently I'm reading Stochastic Equations in Infinite Dimensions, a result is used many times. It is
If $E$ is a separable Banach spaces, then there is a sequence $\{ \phi_n \}$ in its dual ...

**0**

votes

**1**answer

147 views

### Can we expect $\left\||f|^{2}f-|g|^{2}g\right\|\leq C ||f-g||$ in the Banach algebra $A(\mathbb T)$ ?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$.Consider the space,
$$A(\mathbb T):= \{f\in ...

**0**

votes

**0**answers

31 views

### Sequence of solutions of approximated problem converging to stationary solution of the original problem

Let $I(x)$ be the indicator function defined as $$I(x) \triangleq \begin{cases} 1, & x \geq 0 \\ 0, & x < 0 \end{cases}$$ and let $L(x,\alpha) \in [0,1]$ be a smoothing function that ...

**0**

votes

**0**answers

43 views

### Parabolic partial differential equation, initial conditions

Let $U\subset\mathbb{R}^n$ be open bounded, $T>0$.
Given the parabolic PDE $$\partial_tf+a\partial_xf+b\partial_{xx}f = g \qquad (1)$$ I'm interested in the initial and boundary conditions that ...

**0**

votes

**1**answer

51 views

### uniqueness for Poisson equation in R^d with mildly regular data

I'm interested in Poisson's equation $-\Delta u=f$ set in the whole space $R^d$ (let's say $d\geq 3$ for simplicity) when $f$ has very little integrability, specifically $f\in L^{1+\varepsilon}$ for ...

**7**

votes

**3**answers

227 views

### Simultaneous Orthogonal basis for $L^2(\mathbb{R}^n)$ and $H^1(\mathbb{R}^n)$

Given a smooth bounded set $U\subset \mathbb{R}^n$, there is a simultaneous orthogonal basis for $L^2(U)$ and $H^1_0(U)$ by the existence of eigenvectors to the Laplacian in a bounded domain, which ...

**0**

votes

**1**answer

209 views

### A variation of the Banach fixed-point theorem

Let $(X, d)$ be complete metric space, $q \in [0, 1)$ be a real number, and $f$ be a map that satisfies $$d(f(x), f(y)) \leq q \cdot d(x, y)$$ for all $x, y \in X$. Then, Banach fixed-point theorem ...

**1**

vote

**2**answers

140 views

### Smooth but non-analytic kernel functions

Does there exist a (stationary) covariance kernel function which is $C^\infty$-smooth but not real analytic? If so, could you please provide an example?

**0**

votes

**0**answers

63 views

### Finding the Fractional Derivative of This Function [duplicate]

I've been trying to find an answer to this question, and it seems as though the question has gone unanswered. The question regards the derivative of $f(x)=1+n^{-x}$ where $n$ is a natural number. Is ...

**11**

votes

**3**answers

657 views

### Sobolev spaces and geometry

This is a very naive question, is there a way to geometrically understand Sobolev spaces without going through analysis and PDE's? To my knowledge, Sobolev spaces where created precisely to study ...

**2**

votes

**2**answers

160 views

### Lower bounds for norms of commutators

For various reasons I became interested in bounds on the norm of commutators of operators. For instance, if $B(H)$ is the algebra of bounded operators on a Hilbert space, one may ask for a lower bound ...

**1**

vote

**0**answers

85 views

### How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?

(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...

**0**

votes

**0**answers

63 views

### Weak derivatives and dual of Hölder functions

Let $0<\alpha<1$ and $f \in C^{\alpha}$ be a Hölder function (either with compact support on $\mathbb R^n$ or on a closed Riemaniann manifold).
From what I understand, the derivative of $f$ in ...

**0**

votes

**0**answers

45 views

### Can inverse Lipschitz function approximate continuous function?

Let $(X,d)$ be a compact metric space and $C(X, R^n)$ the space of continuous funcions from $X$ to $R^n$. Given $f\in C(X, R^n)$ and $r>0$. My question is:
Can we find a inverse Lipschitz function ...

**9**

votes

**0**answers

290 views

### Does anybody know if the Fourier algebra of SL(3,Z) has an approximate identity?

(Note to those who like to tidy LaTeX, or ${\rm \LaTeX}$: I kindly request that you don't put any LaTeX in the title of this question, nor change the bolds below to blackboard ...

**0**

votes

**0**answers

346 views

### Given an even function how to obtain the most close odd function and vise versa?

Given an even function $f(x)$, how to obtain the most close to it continuous odd function $g(x)$?
By most close I mean that $\int_0^\infty |f(x)-g(x)| dx$ be the minimum possible and the difference ...

**0**

votes

**0**answers

56 views

### Fourier Analysis in Kahane and Zelasko's characterization of maximal ideals in commutative Banach algebra

I've been told that Kahane and Zelasko (in A characterization of maximal ideals in commutative Banach algebra's Studia Math 29 1968) use a "non-trivial result" from Fourier analysis in their proof of ...

**4**

votes

**0**answers

95 views

### Solving a Fredholm equation with a piecewise kernel : Karhunen-Loeve of a stopped Brownian motion

Is there a way to solve analytically the Fredholm integral equation of the second kind
$$
\int_0^{100} K(s, t) f(s) ds = \lambda f(t)
$$
where the kernel has the piecewise 'linear' form
\begin{align}
...

**4**

votes

**1**answer

144 views

### Besicovitch Almost Periodic Functions a subspace of what?

The common example of a nonseparable Hilbert space comes from the collection of Besicovitch almost periodic function spaces. Starting with $L^p_{\text{loc}}(\mathbb{R})$ we look at those elements ...

**2**

votes

**3**answers

242 views

### Weak convergence in the space of Lipschitz Functions

Consider the Banach space $X$ of Lipschitz functions $g:[0,1] \to \mathbb{R}$ such that $g(0)=0$, with the norm of $g$ given by its Lipschitz constant, i.e. $||g||_L = \sup_{x \neq y } ...

**3**

votes

**1**answer

113 views

### General additive function of probability

Let $H$ be a function of finite sequences of probabilities (non-negative numbers summing up to 1) into real numbers, such that:
$H$ is continuous,
$H$ is symmetric w.r.t. the order of its arguments,
...

**1**

vote

**2**answers

192 views

### Characterisation of compact operators

It is known (and easy) to prove that if $T: H\longrightarrow H $ is compact, where $H$ is a Hilbert space, then for any orthonormal basis $ e_n $ we have $||Te_n||\longrightarrow 0$.
My question is ...

**1**

vote

**1**answer

185 views

### Are smooth functions dense in the space $\{u \in H^1(Q) \text{ with } \Delta_\Gamma u \in L^2(Q)\}$?

Define $$Q = \bigcup_{t \in (0,T)}\Gamma \times \{t\}$$ where $\Gamma$ is a compact (without boundary) hypersurface. Assume whatever smoothness is required.
Define $L^2(Q) := L^2(0,T;L^2(\Gamma))$ ...

**0**

votes

**0**answers

153 views

### $2$-normed Spaces

Someone suggested today that $2$-normed spaces are actually equivalent to normed spaces. Can anyone who's familiar with the topic provide a counterexample? (I can't access Gähler's original paper ...

**4**

votes

**2**answers

395 views

### When is it $C(X)$?

Suppose that $\tilde{X}$ is a compact space. If $C(\tilde{X})$ is isometrically isomorphic to the second dual of a Banach space, does there exist a locally compact space $X$ such that ...

**0**

votes

**0**answers

121 views

### On ultrafilters

Let $\mathcal{U}$ be a free ultrafilter of $\mathbb{N}$. Is true or false what $(C([0,1],\ell_p)^*)_{\mathcal{U}} = L_1(\mu, \ell_q)$, where $\mu$ is a measure, $C([0,1],\ell_p)^*$ is the dual of ...

**0**

votes

**0**answers

90 views

### On the existence of embeddings of $\ell_r$ into $L_1([0,1], \ell_p)$ for $r<p$

If $2<r<p$, is it true or false that $\ell_r \not \!\hookrightarrow L_1([0,1], \ell_p)$ ? In other words, if $r< p$, is it true or false that $L_1([0,1], \ell_p)$ contains a copy of $\ell_r$ ...

**0**

votes

**0**answers

106 views

### Fractional Derivative of A specific function

I've tried and tried to do this problem myself, but I've hit some snags on the way.
I'm trying to take the fractional derivative of:
$f(x)=1+n^{-x}$ where n is an integer and $n\geq2$ and $x>1$.
...

**2**

votes

**0**answers

55 views

### Are there pathological examples of log-concave measures that admit no shifts?

Does there exist a random vector $X$ in, say, the space $\mathbb{R}^\infty$ of sequences that has the following properties?
The distribution of $X$ is log-concave, i.e. for every $n$ the joint ...

**1**

vote

**1**answer

160 views

### Tietze's extension theorem for compact subspaces

The topological question:
Are there Hausdorff topological spaces $X$ which are compactly generated (=Kelly spaces = $k$-spaces, that is, a subset is closed if its intersection with every compact set ...

**2**

votes

**0**answers

77 views

### Birkhoff orthogonal of a Banach space in its bidual

Let $X$ be a Banach space embedded in $X^{**}$ in the usual way.
We consider the set
$$
O_X := \{ x^{**}\in X^{**} : \|x^{**}-x\|\geq \|x\| \textrm{ for all }x\in X\}.
$$
I think this is the ...

**4**

votes

**1**answer

142 views

### Lieb: Stability of matter, problem with variational method

I am trying to recalculate 'Stability of Matter' Paper from Lieb.
I have a problem at the last step of the proof at page 3, where Lieb calculates the minimizer. I will explain my ideas and my problem ...

**1**

vote

**1**answer

76 views

### L logL space and compactness

I think that if a sequence of L^1 functions have the integral
$$
\int f_n \log (f_n)dx
$$
uniformly bounded, then there is a subsequence that converges strongly in $L^1$.
The questions are:
1) Is ...

**1**

vote

**1**answer

137 views

### On the relation between the set of extreme points of the unit ball of $M(X)$ and $M(X)^{**}$

Suppose that $X$ is a locally compact topological space. Let $M(X)$ denote the Banach space of regular Borel measures on $X$. It is known that the bidual of $C_0(X)$ is a commutative $C^*-$algebra. ...

**5**

votes

**3**answers

143 views

### Method to compute fundamental solutions which are distributions

The Malgrange-Ehrenpreis theorem tells us that there is a fundamental solution for any linear differential operator of constants coefficients. The original proof was not constructive (it was based on ...

**1**

vote

**1**answer

98 views

### Characterisation of adjoint operators

Let $X$ be a Banach space and $X^*$ denote his dual space. Then, it is well-known that if $T$ is a bounded linear operator on $X$, then $T^*$ is a bounded linear operator on $X^*$. My question is the ...

**0**

votes

**0**answers

114 views

### Fractional Derivatives Of Sums

I have a question regarding the definition of a fractional derivative. I've searched, but I can't find a definition of fractional derivatives that explain the concept in terms of an operator on some ...

**1**

vote

**0**answers

72 views

### Regularity of weak solutions for a quasilinear problem

Theorem 6.2.7 in the book Nonlinear Analisis of Gasisnski and Papageorgiou states: If $u\in W^{1,p}(\Omega)\cap L^\infty(\Omega)$ and $\Delta_pu \in L^\infty(\Omega)$ then we have $u\in ...

**4**

votes

**0**answers

75 views

### Groups of operators between local unitaries and full unitaries

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...

**1**

vote

**1**answer

102 views

### Is this operator trace class?

Let $T:H\to H$ be a compact operator on a complex Hilbert space.
Assume that
$$
\sup_{(e_j)}\sum_j\left|\langle Te_j,e_j\rangle\right|<\infty,
$$
where the supremum extends over all orthonormal ...

**2**

votes

**1**answer

92 views

### Reproducing kernels and equivalent inner products

Suppose $H$ is a reproducing kernel Hilbert space and $K_{1}\left(x,\cdot\right)$ and $K_{2}\left(x,\cdot\right)$ two reproducing kernels with respect to two equivalent inner products on this space. ...

**10**

votes

**2**answers

299 views

### Reference for invariance of essential spectrum under relatively compact perturbations

I'm looking for a proof of the following statement:
Let $X$ be a Banach space and $T$ be a closed map on $X$. For any relatively compact map $A$ the essential spectrum of $T$ and $T+A$ are the same.
...

**1**

vote

**0**answers

74 views

### Finding density of Haar measure relative to the Liouville volume measure on $\frac{G^{\mathbb{C}}}{P}$

Let $G$ be a connected compact Lie group and $G^{\mathbb{C}}$ be the complexification of the Lie group $G$ then we know that by polar decomposition we can write $G^{\mathbb{C}}\cong G\times ...

**0**

votes

**1**answer

261 views

### If $u_m \rightharpoonup u$, how to show using monotonicity that $f(u_m) \rightharpoonup f(u)$?

Let
$$u_m \rightharpoonup u \quad \text{(weakly) in $L^\infty(0,T;L^2(\Omega)) \cap L^2(0,T;H^1(\Omega))$}.$$ We are given $f:\mathbb R \to \mathbb R$, a Lipschitz continuous invertible map which is ...

**5**

votes

**2**answers

146 views

### If Gaussian measures on a Hilbert space converge weakly to 0, how do their covariance operators converge?

Suppose we have a sequence of Gaussian measures $N(0, S(n))$ supported on a Hilbert space $H$ and we know that the sequence converges weakly to the delta measure at $0$, what are the necessary and ...

**6**

votes

**0**answers

184 views

### Existence of injective operators with dense range

Given two separable (infinite dimensional) Banach spaces $X$ and $Y$, it is not difficult to show that there exists an injective (bounded linear) operator $T:X\to Y$ with range dense in $Y$. See S. ...