All Questions
9,780 questions
1
vote
2
answers
353
views
How to show this integral on boundary of Lipschitz domain is finite?
Sorry for asking a basic question but this did not get answered on M.SE.
Let $\Omega \subset \mathbb{R}^n$ be a Lipschitz domain. How do I show rigorously that
$$\int_{\partial\Omega} \frac{1}{|y|^{...
5
votes
2
answers
766
views
Can we distinguish the algebraic and continuous duals of a Banach space without choice (or HBT)?
The algebraic dual of a normed vector space is the space of all linear functionals to the ground field (either $\mathbb{R}$ or $\mathbb{C}$ for this question). The continuous dual is the subspace of ...
- 26.8k
2
votes
1
answer
245
views
Probability measures on $L^p$
Let $(X,\mathcal X,\mu)$ be a fixed measure space, and suppose that $\mu$ is stationary and ergodic with respect to the (left) action of a topological group $G$. Stationarity means that $\mu = g_* \mu ...
- 8,512
0
votes
0
answers
145
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 $$\Phi_Kf(y)=...
- 133
1
vote
1
answer
565
views
Cesaro means for $\alpha<1$ and Banach limits
I am interested in conditions in terms of standard scales of summation methods that guarantee the existence of an averaged limit for all almost convergent sequences. For the Cesaro summation method $(...
- 217
3
votes
1
answer
1k
views
characterization of continuous functionals in weak-star topology
Reading Wojtaszczyk's Banach spaces for analysts, I'm trying to understand his proof that the space of all continuous linear functionals on $(X^\star,\sigma(X^\star, X))$ is $X$.
To show the $ \...
- 922
3
votes
0
answers
266
views
Why distributions as functionals? [closed]
Why do we generalize functions by functionals on Schwartz Spaces, beyond the fact that it simply works? There should be a deeper reason why Schwartz considered functionals.
Excited for answers, Alex.
- 598
5
votes
0
answers
428
views
Is there an appropriate weighted Sobolev space to include exponential map and projection map?
Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: \...
- 3,245
2
votes
0
answers
171
views
Operator theory of initial-value ODE problems
The theory of elliptic boundary value problems is usually treated from the perspective of functional analysis, and the theory of operators between Hilbert spaces.
In contrast to that, the theory of ...
- 5,327
1
vote
0
answers
129
views
persistence of regularity for nonlinear Klein-Gordon equation
I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" (...
- 1,051
2
votes
0
answers
104
views
Fixed point theorem in ordered spaces
Can someone provide a proof or a source containing a proof of the following theorem
Theorem: Let $D$ be a subset of the cone $K$ of partially
ordered space $E,$ $F:D\rightarrow E$ be nondecreasing. ...
- 21
0
votes
0
answers
107
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 ...
- 123
1
vote
0
answers
246
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 ...
- 96
0
votes
1
answer
382
views
Double duals characteristic [closed]
Recall that (for $1\le p<\infty$), $\ell^p = \{\{a_n\}_{n=1}^\infty:\sum\limits_{i=1}^\infty|a_i|\lt\infty\}$, with norm $||\{a_n\}||=(\sum\limits_{i=1}^\infty|a_i|^p)^{\frac{1}{p}}$.
It is well ...
- 13
4
votes
0
answers
172
views
Ultracoproducts of C(X)-algebras
Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$.
As a C$^*$-algebraist, I ...
- 1,786
1
vote
1
answer
263
views
When can we "displace" an ultrafilter limit with another limit?
Let $\cal A$ be a Banach algebra, $\cal U$ be a free ultrafilter, and $\phi$ be a character. Let ${(w_{\alpha})}_{\alpha}$ be a net in $(\cal A)_{\cal U}$, and suppose that for every $(a_i)\in (\cal A)...
- 565
-1
votes
1
answer
159
views
Question about the derivative of a fuctional
I have this lemma+proof and i dont understand why it follows from $J'(u_n)\rightarrow 0$ that $-\Delta_p u_n- f(x,u_n)\rightarrow 0$ such that
$J(u)=\frac1p\int_{\Omega} |\bigtriangledown u|^p dx-\...
- 277
4
votes
1
answer
1k
views
A boundary-preserving map on the unit disk
We are given a (closed) ball $D^n$ and a (continuous) map $f: D^n \to D^n$, that is identity on the boundary of $D^n$.
Let $C$ be a subset of $D^n$, and let $f^{-1}(C)$ be the inverse image of $C$ ...
- 41
1
vote
1
answer
347
views
Spectrum of convolution operator on bounded continuous functions (on R^d)
Hi!
Let $a(x)\geq0$, $x\in R^d$ and $\int_{R^d} a(x) dx=1$. Then the operator $Af = a*f -f$ is bounded on the space of continuous functions on $R^d$ vanishing at infinity and it is a generator of a ...
- 11
0
votes
2
answers
2k
views
fundamental solution of radial wave equation
i am trying to find resources on the derivation of the fundamental solution to the radial wave equation. any suggestions of or links to books, papers, and/or notes would be much appreciated. i have ...
- 1
2
votes
2
answers
404
views
Resource on Infinite Systems of Difference Equations
I have asked this question previously at Math.stackexchange, but it seems to receive little attention there.
In my efforts (somewhere on the boundary of discrete mathematics and theoretical computer ...
- 123
0
votes
0
answers
362
views
Banach-Mazur distance estimate finite-dimensional $\ell_p$ spaces
Hey my fellow Banach space guys. Sorry for another elementary question, and yes I have looked for the past hour and a half to see if I can find it on Google or in my books at home.
Fix $n\in\mathbb{...
- 1,591
1
vote
1
answer
196
views
heat kernel $p_t(x_0,y) \in D(\Delta) \cap L^\infty$ for a manifold with Ricci curvature bounded below?
X is an n-dim Riemannian manifold with the Dirichlet form
$$
\varepsilon (u,v) =-\int_X \langle \nabla u,\nabla v \rangle
$$
for $u,v \in W^{1,2}(X)$.
Let $P_t$ and $p_t(x,y)$ be the associate ...
- 199
0
votes
0
answers
64
views
Approx the jump point of a $BV$ function from both hand side
Let $I=(-1,1)$ be an interval in one dimension. Let $u\in BV(I)$ be defined as
$$
u(x)=
\begin{cases}
0,&\text{ if }x\in(-1,0)\\
1,&\text{ if }x\in(0,1)
\end{cases}
$$
Clearly, we have $u\in ...
- 679
7
votes
0
answers
234
views
Is there a tensor norm that preserves Rosenthal Banach spaces?
By a Rosenthal Banach space I mean one that does not contain an isomorphic copy of $\ell_1$. Is there a tensor norm $\alpha$ such that the Banach tensor product $E\otimes_\alpha F$ is Rosenthal if $E$ ...
2
votes
1
answer
207
views
tensorial product with Lp
Let us consider E a finite-dimensional normed space on $\mathbb{R}$ and a real number $p\geq 1$.
Is it true that the projective tensorial product $E \widehat{\otimes}_\pi L^p(\mathbb{R},\mathbb{R})$ ...
- 111
0
votes
1
answer
169
views
Exponential Convexity Results [closed]
$\textbf{Definition:}$ 1. A function $h : (a,b)\rightarrow\mathbb{R}$ is exponentially convex if it is continuous
and
$$\sum _{i, j=1}^n\xi_i\xi_jh(x_i+x_j)\geq 0,$$
for all $n\in\mathbb{N}$ and all ...
- 153
1
vote
0
answers
219
views
convergence of concave envelope
Let $\{f_n\}$ be a sequence of uniformly upper bounded functions defined on $\mathbb{R}$ s.t. for every $x\in\mathbb{R}$
$$f_n(x)\to f(x),~ n\to\infty$$
Define $g_n$ and $g$ as the concave envelope ...
- 1,835
4
votes
1
answer
2k
views
Existence of weak limits
Background: Three months ago, I asked this question, which is a bit related to the following (if the answer to it was Yes, then answer to this one would be Yes too, but since that was a No, it still ...
2
votes
1
answer
469
views
If two probability distributions have the same weak limit and one of them satisfies Large Deviation Principle, what can we say about the other?
If the probability distribution function of two sequences of random variables have the same weak limit and one of the sequences satisfies a Large deviation principle, then does it imply that the other ...
- 3,245
4
votes
2
answers
340
views
Embeddings of Weighted Banach Spaces
Let be $d$ a positive integer, $\Omega=\mathbb{R}^{\mathbb{Z}^d}$ and fix $R\geq 2$. We define weighted Banach spaces
$$ \Omega_p:=\left\{ x\in \Omega\left| \left[\sum_{i\in\mathbb{Z}^d}\frac{|x_i|^...
- 2,044
1
vote
0
answers
120
views
Fractional Poincare inequality on closed manifold
Let $u \in H^{\frac 12}(M)$ on a compact closed Riemannian manifold. Can someone refer me to a source where the inequality
$$\lVert u - \bar u \rVert_{L^{2^*}} \leq C|u|_{H^{\frac 12}}$$
is proved, or ...
- 11
1
vote
0
answers
870
views
Limit of two hypergeometric functions (2F1)
Hi,
Does anyone know whether there is a known function/distribution that corresponds to the limit:
$\lim_{\epsilon\rightarrow0^+} \mathfrak{Re}\left[f(x+i\epsilon) - f(x-i\epsilon)\right]$
when $f(...
- 131
1
vote
1
answer
218
views
Open set of geodesics implies the set of starting points is open
Let $X$ be a complete and separable metric space, let $G(X) \subset C([0,1],X)$ be the space of continuous curves from $[0,1]$ to $X$ with constant speed, i.e.
$$ d(f(t),f(s)) = |t-s| d(f(0), f(1)). $$...
- 41
8
votes
0
answers
1k
views
Strictly singular operators and their adjoints
This is a question I thought about a while back and figured I'd throw it out there to see if anyone has some insight that I am missing.
Let $X$ and $Y$ be infinite dimensional separable Banach ...
- 1,073
11
votes
0
answers
758
views
A basic question on Stone-Cech compactification of $\mathbb{Z}$
Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
- 895
8
votes
2
answers
915
views
Group homomorphisms and maps between function spaces
Let G and H be locally compact groups, and let $\theta:G\rightarrow H$ be a continuous group homomorphism. This induces a *-homomorphism $\pi:C^b(H) \rightarrow C^b(G)$ between the spaces of bounded ...
- 18.7k
3
votes
1
answer
354
views
Solvability for constant-coefficient partial differential operators
Let $\mathcal{S}$ denote the space of Schwartz functions on $\mathbb{R}^n$, and $\mathcal{S}'$ the space of tempered distributions. Let $L$ denote a linear, constant-coefficient, partial differential ...
- 111
5
votes
0
answers
308
views
"Contraction mapping principle"
Are there any applications of the following fact?:
Let $X$ be a complete Hausdorff semi-metric space with a collection of semi-metrics $\{d_\alpha(\cdot,\cdot)\}_{\alpha\in A}.$
Further let $f:X\to ...
- 61
0
votes
0
answers
213
views
Equivalent Gaussian measures
Let $\mu$ be a gaussian measure with eigenpair $\{e_k,2^{-k}\}$ and $\nu$ with eigenpair $\{ Te_k,2^{-k}\}$. Here, T is the unitary operator given by $Tx = x - 2\left\langle x,v \right\rangle v$. Let $...
- 33
4
votes
1
answer
233
views
A.C. spectrum of the non additive perturbation BAB of a self-adjoint operator A where B is strictly positive
If have the following problem:
Let $A : \mathcal{H} \to \mathcal{H}$ be a bounded, self-adjoint operator on some Hilbert space $\mathcal{H}$. Let $B: \mathcal{H} \to \mathcal{H}$ be a bounded, ...
- 41
1
vote
0
answers
76
views
Mathematical difference between broad and narrow band Spectral estimation [closed]
Is there different mathematical formulation behind spectral estimation of narrow band and wide band? By spectral estimation I mean estimating the frequencies in a given signal. Fourier transform is ...
- 11
3
votes
1
answer
310
views
Do cyclic product vectors generatating irreducible representation of a Lie group come from a unique orbit?
Consider a Hilbert space $\mathcal{H}$ which is a carrier space of a unitary, irreducible and strongly continuous representation $\Pi$ of a Lie group $G$. Let $\Pi\otimes \Pi$ denote the corresponding ...
- 965
4
votes
0
answers
277
views
Exterior powers and singular values on Hilbert spaces
I am currently writing an article relating to multiplicative ergodic theorems for cocycles of bounded operators acting on a Hilbert space, and in parts of the argument it is necessary for me to refer ...
- 6,206
1
vote
1
answer
479
views
Existence of solution for this parabolic PDE
The parabolic PDE
$$\langle u', v \rangle + a(u,v) = \langle f, v \rangle$$
has a unique solution $u \in L^2(0,T; H^1)$ with $u' \in L^2(0,T;H^{-1})$ if $a$ is a bounded and coercive bilinear form (...
- 107
1
vote
1
answer
193
views
If $u \in W^1(0,T;L^2,H^1)$ and $\varphi \in C^1([0,T]\times \Omega)$ then $\varphi u \in W^1(0,T;L^2,H^1)$?
Let $\Omega \subset \mathbb{R}^n$ be an open bounded domain.
Define $$W^1 := W^1(0,T;L^2,H^1) := \{w \in L^2(0,T;H^1(\Omega)) \mid w' \in L^2(0,T;H^{-1}(\Omega))\}$$
where $w'$ means the weak ...
- 307
1
vote
0
answers
172
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 $ |h|...
- 4,115
0
votes
1
answer
212
views
Some convergence similar to weak-$\ast$ convergence on the space of finite measures
I have a question:
Let $D$ be the space of cadlag functions defined on $[0,1]$ and $V$ be its subspace consisting of $x$ with finite variation and $x(0)=0$.
Define $TV(x)$ as the total variation ...
- 1,835
1
vote
0
answers
218
views
Is the closed ball of a normed space closed in any Hausdorff locally convex topology, weaker than the norm topology?
Assume that we have a normed space $X$ and a subspace $Y$ of $X^{*}$ such that $Y^{\perp}=\{0\}$. They form a non-degenerate dual pare.
Moreover, $\|y\|=\sup_{x\in B_{X}}|\langle x,y\rangle|$, where $...
- 11
2
votes
1
answer
128
views
Characterization of a subset of [0,1] $III$
I have a question related to the previous one.
Characterization of a subset of [0,1] $II$
Let $T\subseteq [0,1]$ be some subset closed under lower limit topology, i.e.
$t_n$ is said to converge to $...
- 1,835