**6**

votes

**2**answers

760 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

179 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

83 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

41 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

145 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

86 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 ...

**5**

votes

**1**answer

443 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

88 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

173 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

52 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

100 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

144 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

83 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

205 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

236 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 ...

**1**

vote

**1**answer

73 views

### question about $TGV^2$ space

Let us just stay in $\mathbb R^1$. The space $TGV^k$ is defined as the function $u\in L^1(I)$ and
$$
TGV^k(u,I):=\sup\left\{\int_I u\,\phi^{(k)}\,d\mu, \,\phi\in ...

**0**

votes

**0**answers

115 views

### Is this has anything to do with Riesz representation?

The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49.
Here I come up with a question which has similar ...

**0**

votes

**0**answers

32 views

### Equivalence of Sobolev--Slobodeckii and interpolation space on boundaries

Let $s \in (0,1)$. Given a sufficiently smooth hypersurface $\Gamma$ in $\mathbb{R}^n$, one can define the Sobolev--Slobodeckii space with the norm
$$|u|_{H^s(\Gamma)}^2 = \int_\Gamma |u|^2 + ...

**1**

vote

**0**answers

187 views

### Existence of topology on the space of continuous functions

Let $C:=C([0,1],\mathbb{R})$ be the space of real-valued continuous functions defined on $[0,1]$. Could we find a topological vector space topology $\pi$ on $C$ such that the following two conditions ...

**5**

votes

**3**answers

630 views

### Make mathematical sense of the Dirac well Potential Equation

A classical problem in quantum mechanics involving the Dirac Delta function is given by
$$
y''+(\delta(x)-\lambda^2)y=0.
$$
Then, to find ''bound states'', you solve on the right and find the ...

**1**

vote

**0**answers

33 views

### About norm on $H^{\frac 12}(M \times \{0,1\})$

Let $X=M \times \{0,1\}$ with $M$ a smooth compact manifold without boundary.
Define the fractional Sobolev space $H^{\frac 12}(X) = (L^2(X), H^1(X))_{\frac 12}$, as the real interpolation space ...

**1**

vote

**1**answer

124 views

### Maximal $\pi/2$-separated subset of the sphere

A subset $A$ of a metric space is called $\varepsilon$-separated if
$$dist(x,y)> \varepsilon \mbox{ for all } x\ne y\in A.$$
(Notice that the inequality in my definition is strict.)
What is the ...

**3**

votes

**1**answer

386 views

### Comparing norms on tensor products of matrices

Given a Hilbert space $H$, let $S_1(H)$ denote the space of trace-class operators on $H$, with the trace-class norm or Schatten 1-norm. That is
$$ \Vert T \Vert_1 = \sum_{j\geq 1} |s_j| $$
where ...

**4**

votes

**1**answer

132 views

### Stinespring's dilation without $C^{\ast}$-algebras

Does Stinespring's dilation theorem hold if the algebra of interest is a topological $\ast$-algebra instead of the usual $C^{\ast}$-algebra?
I will now state the version of Stinespring's dilation ...

**0**

votes

**0**answers

48 views

### How to modify a SBV convergence sequence to obtain uniform integrability?

Given $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. Assume $(u_n)\subset SBV(\Omega)$ a sequence of functions such that $u_n\to u_0$ weakly in $SBV$ for some function $u_0\in ...

**4**

votes

**0**answers

112 views

### $L_\infty(\mu)$ spaces non-isomorphic to a dual space

Given a measurable space $(\Omega,\mu)$ such that $L_\infty(\mu)$ is isomorphic to a dual space, $L_\infty(\mu)$ is an injective Banach space. Indeed, given a subspace $Y$ of $X$ and a norm-one ...

**2**

votes

**2**answers

146 views

### Composition operators on fractional-order (periodic) Sobolev spaces

(The question was originally posted on MSE.)
Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...

**0**

votes

**1**answer

62 views

### Sobolev chain rule on non-compact manifolds

Let $(M,g)$ be a non-compact Riemannian manifold (not of bounded geometry).
Let $f:\mathbb{R} \to \mathbb{R}$ be $C^1$ with $f'$ bounded and $f(0)=0$. Is the Sobolev chain rule valid for functions ...

**1**

vote

**1**answer

127 views

### Is it true that for dimension d=3, if $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ then exponent of v or -v is not summable?

I have the following Question:
1) Is it true that
if $\Omega\subset\mathbb R^3$, $\Omega$ - bounded, $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ implies $\int\limits_{\Omega}{e^vdx}=+\infty$ ...

**2**

votes

**1**answer

117 views

### Bounding $\int_{\mathbb{R}_{+}}W(x,\lambda)W(y,\lambda)d\lambda$

Let $$W:\mathbb{R}_{+}^{2}\rightarrow(0,1]$$ be a symmetric, integrable function. Let $$f(x)=\int_{\mathbb{R}_{+}}W(x,\lambda)d\lambda$$ and assume this function is monotonically non-increasing. Is ...

**5**

votes

**0**answers

149 views

### Non-linear positive map

In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...

**1**

vote

**0**answers

38 views

### Degenerate Carleman Estimate for Laplace Beltrami Operator

Suppose $(M,g)$ is a compact Riemannian manifold with boundary and that I have been able to prove a Carleman type estimate of the following form for an explicit phase function $\phi$ :
$ \| e^ {\tau ...

**1**

vote

**1**answer

209 views

### The $L^2\times L^2\to L^2$ norm of the bilinear multiplier operator

Consider a general bilinear multiplier operator:
$$
T(f,g)(n)=\int_{\Pi}\int_{\Pi}\hat{f}(\xi)\hat{g}(\eta)e^{2\pi i(\xi+\eta)n}m(\xi,\eta)d\xi d\eta,
$$
where $\Pi$ is the torus, $n\in\mathbb{Z}$, ...

**4**

votes

**2**answers

163 views

### Is taking the product of signed measures weakly continuous?

For a Polish space $X$, let $C_b(X)$ denote the real Banach space of bounded continuous real-valued functions on $X$. Let $M(X)$ denote the space of all finite signed Borel measures on $X$, equipped ...

**0**

votes

**0**answers

41 views

### Differentiation of $(u(t),v(t))_{L^2(\Omega)}$ when $u, v \in H^1(I\times \Omega)$

Let $I=(0,\infty)$. Consider $u, v \in L^2(I;H^1(\Omega))$ with $u_t, v_t \in L^2(I;L^2(\Omega))$ where $\Omega$ is a bounded doamin.
Is it true that
$$\frac{d}{dt}(u(t),v(t))_{L^2(\Omega)} = (u'(t), ...

**4**

votes

**1**answer

115 views

### Injectivity of the Funk transform for nonsmooth functions

Let $S^{n-1}$ be the unit sphere in $\mathbb R^n$ and $\Gamma_n$ the collection of great circles on it.
Assume $n\geq3$.
The Funk transform of a function $f:S^{n-1}\to\mathbb R$ is a map ...

**1**

vote

**1**answer

116 views

### Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology

Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...

**0**

votes

**0**answers

102 views

### Unitarizability of group representations

Let $G$ be a Lie (or more general) group. Consider its continuous representation in a Banach space by isometries, i.e. preserving the Banach norm. Under what conditions this representation is ...

**0**

votes

**1**answer

105 views

### Square Integrable Harmonic Functions in an Infinite Strip

Suppose $S= \left\{x \in \mathbb{R}^3 : a <x_1< b \right\} $ is an infinite strip the three dimensional Euclidean Space.
Is it true that the only $L^2$ harmonic function in this strip is the ...

**0**

votes

**0**answers

71 views

### What does the Plancherel theorem say about positive-definite distributions?

I'm trying to understand the answer to this MO question: Bochner's theorem for measures of positive type, which suggests a relationship between Bochner's theorem and the Plancherel theorem.
The ...

**2**

votes

**0**answers

34 views

### Nemytskii/superposition operator without separability of Banach space?

Let $T:[0,1] \times X \to \mathbb{R}$ be a nonlinear map where $X$ is a Banach space. Suppose that $T$ is a Caratheodory map, so that $t \mapsto F(t,x)$ is measurable and $x \mapsto F(t,x)$ is ...

**0**

votes

**1**answer

185 views

### On Cantor sets every map is $C^{\infty}$ [closed]

For a fixed Cantor set $K\subset [0,1]$ and a continuous function $g:[0,1]\to \mathbb R.$ Is it always possible to find a $C^{\infty}$ map $f:[0,1]\to \mathbb R$ such that $g$ and $f$ coincide in $K?$
...

**7**

votes

**0**answers

187 views

### Does hypoellipticity imply the existence of a parametrix?

Let $M$ be a smooth manifold, like $\mathbb{R}^n$ for instance. The existence of a parametrix for an operator $P$ on $C^\infty(M)$ in any reasonable pseudodifferential calculus implies that $P$ is ...

**4**

votes

**2**answers

339 views

### Is a specific sequentially closed subset of $M([0,1])$ closed?

Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all ...

**4**

votes

**1**answer

119 views

### Differential Operators On A Curve And On Osculating Circle

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...

**0**

votes

**1**answer

137 views

### About weak derivatives [closed]

I have a question about weak derivatives.
Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some
open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...

**4**

votes

**1**answer

276 views

### A question on an argument in Woronowicz’s paper on the compact quantum group $ {\text{SU}_{q}}(2) $

Let $ q \in [0,1) $. The compact quantum group $ {\text{SU}_{q}}(2) $ is defined to be the universal unital $ C^{*} $-algebra that is generated by two elements $ \alpha $ and $ \beta $ satisfying the ...

**2**

votes

**1**answer

267 views

### The Tensor product of algebra group

Let G is a locally compact group. Is the following true?
The tensor product of $L^1(G)$ with $L^1(G)$ is $L^1(G \times G)$.

**-1**

votes

**2**answers

324 views

### What conditions imply that a function over $\mathbb{Z}$ is a polynomial? [closed]

How would one prove that a function is a polynomial? I can't seem to find anything about this on the internet. I would like to know if there are any unique properties that only polynomials can ...

**0**

votes

**1**answer

83 views

### Reproducing Kernel of a RKHS of continuous functions may not be continuous in two variables together

Let $\mathcal{K}$ be a Hilbert Space of continuous functions on some topological space, where point evaluations are continuous linear functional on $\mathcal{K}$.
That is $\mathcal{K}$ is RKHS, ...