**3**

votes

**1**answer

122 views

### 'Nonclassical' abstract Wiener space

Is it possible to construct an abstract Wiener space $(W,H,\mu)$ such that $C^{0,\frac{1}{2}}(\Omega)\subset H$ and $W$ is a normed function space such that the convergence in norm implies convergence ...

**2**

votes

**0**answers

36 views

### Error bounds for eigenvalue expansion of the Mathieu equation

The Mathieu equation is an important eigenvalue problem in Mathematical Physics that is completely understood in its properties, although there is no "direct way" of expressing eigenvalues and ...

**2**

votes

**2**answers

430 views

### Intuitive functional analysis book

I want to know functional analysis book like Terence tao's real analysis and measure theory book, full of intuition. I am aware of linear algebra, real analysis, measure theory, Probability theory.

**0**

votes

**0**answers

35 views

### Under which conditions is the union of conic hulls of sets in a cartesian product equal to $\mathbb{R}^N$?

Question: Under which conditions on $A, B\in\mathbb{R}^{N\times N}$ is the function $f: \mathbb{R}^N\mapsto \mathbb{R}^N$,
$$f(v) = A[v]_+ + B[-v]_+$$
surjective? Here $[.]_+$ is an elementwise ...

**0**

votes

**1**answer

108 views

### Criterion for Convolution Operator to be Compact

I don't have any real background in functional analysis, so I was wondering if there is a nice sufficient condition or criterion for a convolution operator (say on $L^2\left([a,b] \times [a,b]\right) ...

**1**

vote

**0**answers

66 views

### Point Spectrum of a Second Order System of Differential Equations

Consider the following operator acting on $H^1(\mathbb{R})$
$$
\mathcal{L} \left(\begin{array}{c} \phi \\ \psi \end{array}\right) = -\left(\begin{array}{c} \phi \\ \psi \end{array}\right)'' + V(x) ...

**0**

votes

**0**answers

48 views

### One parameter family differentiable dependence for linear parabolic pde's

Consider for example, the Black Schole's equation
$$
\partial_tu+0.5\sigma^2s^2\partial_{ss}u+rs\partial_su-ru=0
$$
on $[0,T]\times[0,\infty)$ subject to boundary conditions $u(s,T)=f(s)$.
The ...

**2**

votes

**1**answer

96 views

### Infinite Determinant between different Hilbert Spaces

It is well-known, that if $A = \mathrm{id} + S$ is a bounded operator on a separable Hilbert Space $H$ with $S$ trace-class, then there is a well-defined notion of determinant, e.g. in terms of the ...

**6**

votes

**1**answer

274 views

### Fredholm operators in $K$-theory?

Do Fredholm operators show up in K-theory? Why or why not? The idea of infinite Grassmannians classifying vector bundles is pretty straightforward, but why would adding in additive inverses and what ...

**3**

votes

**0**answers

63 views

### Dense Hopf $*$-subalgebra of compact quantum groups and cancellation laws

Recall the notion of the compact quantum group, in the sense of Woronowicz: it is a pair $(A,\Delta)$ where $A$ is a unital $C^*$-algebra and $\Delta:A \to A \otimes_{\min} A$ is a unital ...

**15**

votes

**2**answers

415 views

### C$^*$-algebras isomorphic after tensoring with $M_n(\mathbb C)$

In 1977, Joan Plastiras gave a striking example of two non $*$-isomorphic C$^*$-algebras $\mathcal A$ and $\mathcal B$ such that $$\mathcal A \otimes M_2(\mathbb C) \simeq \mathcal B\otimes ...

**2**

votes

**1**answer

100 views

### Two ODEs, why is one the solution of the other? (Caratheodory ODE)

This question is based on Zeidler II/B, Problem 30.2.
Consider the ODE: find $u:[0,T] \to \mathbb{R}^n$ s.t.
$$u'(t) = F(t,u(t))$$
$$u(0) = u_0$$
given $F:[0,T]\times \mathbb{R}^n \to \mathbb{R}^n$ ...

**0**

votes

**0**answers

33 views

### Uniform convergence problem of the iterative function series

A process $\{\theta_{t}\}_{t=1}^{\infty}$ with finitely continuous state space $\mathcal{S}=[\underline{\theta},\bar{\theta}]$.The transition density is $\phi(\theta_{t},\theta_{t+1})$.I have known ...

**3**

votes

**2**answers

143 views

### On the Lorentz sequence space $d(w,1)$

I am interested in examples of dual Banach spaces $X$ with the Schur property (weakly convergent sequences in $X$ are norm convergent) like $\ell_1$.
The Lorentz spaces $d(w,1)$ [Lindenstrauss and ...

**0**

votes

**0**answers

45 views

### The property reservation conditions in the functional iteration process

Given a integral equation:
$$K(y,p)=\int_{a}^{b}f(x,y)K(x,p)dx$$
Using the iteration method,choosing an arbitrary inition function $K^{0}(x,p)$:
$$K^{1}(y,p)=\int_{a}^{b}f(x,y)K^{0}(x,p)dx$$
...

**0**

votes

**2**answers

204 views

### Existence and uniqueness for two-dimensional time-dependent Schrödinger equation

I currently have to deal with time-dependent Schrödinger equations in two variables on bounded domains and wanted to find out about uniqueness and existence of solutions.
Unfortunately, I am a ...

**2**

votes

**0**answers

49 views

### Points are removable for weakly differentiable functions

If $\Omega \subseteq \mathbb{R}^N$ is an open set and $N \ge 2$, then any point $a \in \Omega$ is removable for weakly differentiable maps: for each function $u \in W^{1, 1} (\Omega \setminus \{a\})$, ...

**4**

votes

**2**answers

391 views

### $C^{*}$ algebras which do not admit nontrivial idempotent morphism

In this question which I flag it as a community wiki, I search for a big list of $C^{*}$ algebras(and a big list of criterions) which do not admit a non trivial idempotent $C^{*}-$morphism.
I ...

**1**

vote

**1**answer

124 views

### Faithul map and (minimal) tensor product of $C^*$-algebras

Let $f$ be a faithful state on a $C^*$-algebra $A$, i.e. $f(a^*a)=0$ implies $a=0$. in general, call a mapping $T:A \to B$ between $C^*$-algebras faithful if $T(a^*a)=0$ implies $a=0$. How to prove ...

**2**

votes

**0**answers

180 views

### One parameter family of elliptic equations

Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = ...

**8**

votes

**1**answer

346 views

### Proof of a Fourier pair with Bessel functions?

How can we prove that the Fourier transform of the function
$$
f(x)
=
\begin{cases}
(a^2-x^2)^{c/2} BesselJ[c,b\sqrt{a^2-x^2}] & \text{for }x^2 < a^2\\
0 & \text{otherwise}
\end{cases}
$$
...

**1**

vote

**1**answer

85 views

### examples of completely positive order zero maps to demonstrate a theorem

I'm interested explicit examples which can be used to demonstate the theorem:
Theorem: Let $A$ and $B$ $C^*-$algebras and $\phi:A\to B$ be a completely postive map of order zero. Set ...

**3**

votes

**1**answer

154 views

### A relative property gamma and $L(\mathbb F_2)$

Given any unital non-commutative subalgebra $\mathcal M$ of $L(\mathbb F_2)$ is it true that $\mathcal M' \bigcap L(\mathbb F_2)^\mathcal U = \mathbb C I$ for any free ultrafilter $\mathcal U$?

**1**

vote

**1**answer

150 views

### Are most random variables trivially sub-gaussian? [closed]

I'm trying to understand sub-gaussian RVs to see if they could be relevant to my work.
The common definition of a sub-gaussian RV is the following. X is $\sigma$ sub-gaussian if its laplace transform ...

**2**

votes

**0**answers

220 views

### Why only Normed Linear Spaces? [closed]

It is well known that "Norm on a vector space can be used to obtain a metric on that space."
I think easily we can generalize the notion of norms to groups and rings.
My questions are,
Why ...

**5**

votes

**0**answers

130 views

### Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...

**6**

votes

**0**answers

123 views

### Is there a quotient of $c_0$ without the approximation property?

The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property?
This would follow if ...

**1**

vote

**0**answers

48 views

### Reference request - Compact embedding of intermediate space

Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...

**0**

votes

**0**answers

28 views

### c-superdifferential is unique +cost function is differentiable, then the potential function is differentiable?

Let $M$ be a compact Riemannian manifold, $\mu$ and $\nu$ are two Borel probability measures, the cost function $c(x,y)=\frac{d^2(x,y)}{2}$.
It's well known that the infimum of the Kontorovich's ...

**5**

votes

**0**answers

111 views

### Reference for the Banach Manifold structure of $C^k(M,N)$

I'm completely new to the subject of banach manifolds and I'm looking for a reference of the following:
Let $M$,$N$ be smooth (=$C^\infty$) finite-dimensional compact manifolds. Consider the set ...

**3**

votes

**1**answer

169 views

### Are piecewise linear functions dense in $W^{1,\infty}$?

Are piecewise linear functions dense in $W^{1,\infty}$ ?

**20**

votes

**2**answers

929 views

### Separating pure states on the $2\times 2$ matrix algebra

I have an idea for a possible counterexample to the noncommutative Stone-Weierstrass problem. A good answer to the following question would really help.
Let $\mathcal{A}$ be the C*-algebra of ...

**1**

vote

**0**answers

96 views

### Norm inequalities between difference operators

Assume $(v_i)$ to be a sequence in $\ell_\infty(\mathbb{R})$ for $i=1,\dotsc,N$. Define the difference operator as $\Delta v_i:=v_{i+1}-v_i$ and $\Delta^n v_i:=\Delta(\Delta^{n-1} v_i)$. Then, how can ...

**6**

votes

**2**answers

286 views

### Non strictly-singular operators and complemented subspaces

If $T$ is a bounded operator which is not strictly singular, acting on a separable Banach space $X$, can one always find an infinite dimensional, closed and complemented, subspace $Y$ such that $T$ ...

**5**

votes

**1**answer

207 views

### Hahn Banach type extension of a Lipschitz map

The problem that I posted was a much generalized form of what I had in my mind. All I want to know the literature of Hahn-Banach type extension of Lipschitz map. I know only about the result by ...

**6**

votes

**2**answers

771 views

### Survey papers on the role played by PDE in mathematics

There are already several questions on MathOverflow that inquire about the many diverse relationships between PDE and several other 'areas' of mathematics (e.g., algebraic and differential geometry ...

**2**

votes

**0**answers

183 views

### Reference request: The compactness and compact embedding in Besov Space?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...

**3**

votes

**1**answer

91 views

### Existence of a countable linear combination with positive coefficients

Consider a (Hausdorff and complete) locally convex topological vector space $V$ and a countable subset $(v_k)_{k=1}^\infty \subset V$ of non-zero vectors.
$(*)$ Under what conditions on this ...

**1**

vote

**0**answers

45 views

### The best constant in Poincare-liked inequality in $BV$ and $BD$ space

This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention.
Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...

**1**

vote

**1**answer

146 views

### Continuous maps on compact topological spaces which induce compact (Fredholm) operators

Let $X$ be a compact Hausdorff space. A continuous map $f:X \to X$ defines a bounded linear operator $T_{f}$ on the Banach space $C(X)=\{\phi:X\to \mathbb{C} \mid \phi\; \text{is continuous}\}$ with ...

**1**

vote

**0**answers

93 views

### Regularity of weak solution

I have also posted the question here. Let me explain what difficulties I have. In fact, one may write
\begin{equation}
\partial_1(f-\partial_1 u)=0
\end{equation}
in $\Omega$. Then one may have the ...

**7**

votes

**1**answer

550 views

### A problem in functional calculus

This is embarrassing, I think it must work, but I can't see how to prove it works. If anyone knows enough functional calculus of operators on a Hilbert space to tell me how to do it, I would be very ...

**1**

vote

**0**answers

89 views

### One-sided local $L^p$ spaces

Consider the vector space $L^p_{\text{left-loc}}$ of measurable functions $f:[0,1]\to\mathbb R$ so that for all $x\in(0,1]$ there exists $\delta>0$ so that $f|_{[x-\delta,x]}\in L^p$.
Does this ...

**1**

vote

**0**answers

175 views

### system with solutions $\{x-a:0\leqslant a\leqslant z-1\}$ [closed]

What must be $F$ there where $0=F(1,x,0)=F(x-0,x,z)=F(x-1,x,z)=F(x-2,x,z)=F(x-3,x,z)=$ $\dots$ $=f(x-z-1,x,z)=0$?
Define $F$ in the domain where a continuous function exists that behaves so for ...

**1**

vote

**0**answers

56 views

### “Friedrichs extension Laplacian” vs “Weak Laplacian” and fractional powers

Take $\Omega$ to be a bounded domain and consider Neumann BCs.
In some works, I see that a Laplacian $(-\Delta_D)^{\frac 12}$ is defined as an operator with domain $H^1(\Omega)$, and in other works, ...

**3**

votes

**1**answer

101 views

### Generalized functions on a product of two manifolds

Let $X,Y$ be smooth compact manifolds. Let $C^\infty(X)$ and $C^{-\infty}(X)$ denote the spaces of smooth and generalized functions on $X$ respectively. We have the obvious canonical linear map ...

**0**

votes

**0**answers

146 views

### How to change the given metric if we want to add few extra isometries?

I have a Hilbert Space $X$ and a group $G$, which consists of bounded linear self-bijections of $X$ (if it helps, this group has a locally compact, but not compact topology). Is there a canonical way ...

**0**

votes

**0**answers

89 views

### Cuntz comparison of strictly positive elements in finite C*-algebras

Let $A$ be a finite, non-unital C*-algebra, $s\in A$ a strictly positive element and $a\in A$ a positive element that is Cuntz-equivalent to $s$, i.e. there exist sequences $\{x_n\},\{y_n\}\subset A$ ...

**1**

vote

**2**answers

214 views

### Derivative of Band-limited functions [closed]

I'm trying to answer this problem: Consider a real function f, bandlimited by frequency $\omega$, which satisfy
$$\int_{-\infty}^\infty f(x)^2dx=c.$$
(For pure mathematicians: "bandlimited" means ...

**4**

votes

**1**answer

240 views

### reference request: direct product of WOT-continuous unitary representations

In an article I'm revising, I spend some time giving a self-contained proof of the following result
Let $G$ be a (Hausdorff) topological group and let $(\pi_i)$ be a family of unitary ...