All Questions
947 questions
0
votes
0
answers
191
views
Canonical embedding of Hilbert space in random $L^2$
This question is a followup of Canonical embedding of Hilbert space in $L^2$ space, where it was essentially shown that there is no canonical way to construct, from an abstract Hilbert space $H$, a ...
- 1,329
0
votes
1
answer
77
views
Decay rate of minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
0
votes
2
answers
387
views
Derivative of fractional Laplacian is the fractional Laplacian of the derivative
Is it true that $$\partial_x ((-\Delta)^s u(x)) = ((-\Delta)^s \partial_x
u(x))?$$
user104647
0
votes
0
answers
127
views
Approximation Property: Characterization
Problem
Given a Banach space $E$. Denote compact sets by $\mathcal{C}$, compact operators by $\mathcal{C}(X,Y)$, and finite rank operators by $\mathcal{F}(X,Y)$.
Suppose it has the approximation ...
- 598
0
votes
1
answer
421
views
Canonical embedding of Hilbert space in $L^2$ space
Let $H$ be a Hilbert space. I am interested in isometries $f\colon H\to L^2(X,\mu)$ where $\mu$ is a probability measure on some measure space $X=(X,\mathcal F)$ where $\mathcal F$ is a $\sigma$-...
- 1,329
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
0
votes
1
answer
236
views
Is this a contraction mapping for small $T$?
Let $G$ be the heat kernal, i.e. for $0\le t<s$ and $x,y\in\mathbb R$
$$G(t,x;s,y):=\frac{1}{\sqrt{4\pi(s-t)}}\exp\left(-\frac{(y-x)^2}{4(s-t)}\right).$$
For $T>0$, let $\mathcal H_T:=\{h:[0,T]\...
- 1,334
0
votes
0
answers
114
views
Recontruction of the weak topolgy from the scalar product on a subset of a Hilbert Space
Let $M$ be a set a let $K:M\times M\to\mathbb{C}$ be a positive definite kernel. By a version of Moore-Aronszajn Theorem, there is a unique (up to the unitary euivalence) Hilbert Space $X$, and a map $...
- 5,529
0
votes
0
answers
112
views
Fixed point of a contraction map
This question is a continuation of Is this a contraction mapping for small $T$?
Set, for $T, m>0$, $H^m_T:=\{h:[0,T]\to [0,m]:~ h,~h' \mbox{ are both continuous on } [0,T]\}$ endowed with the norm
$...
- 1,334
0
votes
1
answer
611
views
Weak star separable and separable quotient problem
My first question is the following:
Q1: Let $X$ be a Banach space. If its dual $X^\ast$ is weak* separable, does $X$ admit an infinite-dimensional and separable quotient $X/M$?
To the best of my ...
- 515
0
votes
1
answer
475
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 ...
- 5,380
0
votes
1
answer
248
views
About uniform continuity
Is there a definition Df(g) of uniform continuity of g, without using the notion of metric?
Let $(E,d_E)$ and $(F, d_F)$ metrics spaces, $f$ continuous fonction of $E$ to $F$
We must have :
Df$(f)$ ...
- 4,074
0
votes
1
answer
719
views
Green's functions/fundamental solution to a non-constant coefficients pde
We already know the relationship between Green's function and solution to elliptic partial differential equation, i.e $$u(y)=\int_{\partial \Omega}u\frac{\partial G}{\partial n} ds+\int_\Omega G\Delta ...
0
votes
1
answer
216
views
Complex Borel measures: relation between the total variation norm of a measure and those of its real and imaginary parts
Let $X$ be a metric space and $\mathcal B$ its Borel $\sigma$-algebra. For $B \in \mathcal B$ we denote by $\Pi(B)$ the collection of all finite measurable partitions of $B$, i.e.,
$$
\Pi(B)=\left\{\...
- 657
0
votes
0
answers
98
views
Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?
(Cross posted from Math StackExchange: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?)
Assume $(\Omega, \mu)$ is a probability space. Consider a ...
- 2,830
0
votes
0
answers
149
views
Validity of Hölder inequality for the homogeneous Besov spaces $\dot{B}^0_{1,2}(\mathbb{R}^n)$ and $\dot{B}^0_{2,2}(\mathbb{R}^n)=L^2(\mathbb{R}^n)$
I am looking at Corollary 1. in p.244-245 of the book
"Sobolev Spaces of Fractional Order,
Nemytskij Operators,
and Nonlinear
Partial Differential Equations" (1996) by Thomas Runst
Winfried ...
- 3,477
0
votes
1
answer
714
views
The dual space of the Dirac measures on an Abelian group
Let $G$ be a Hausdorff locally-compact Abelian group and $L^2(G)$ the Hilbert space of two-integrable complex functions on the group.
Question. What would be natural vector space $\mathcal{R}$ of ...
0
votes
1
answer
125
views
Bounding integral expression with Sobolev norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
0
votes
2
answers
230
views
Basic sequences in $ L_{p}$
Let $(x_{n})_{n}$ be a normalized basic sequence in $X=L_{p}$, with $1<p<2$.
Does there exist a subsequence $(x_{k_{n}})_{n}$ of $(x_{n})_{n}$ and a weakly null sequence $(x^{*}_{n})_{n}$ in $X^...
- 3,343
0
votes
2
answers
225
views
Isomorphism theorem for subfactors?
It's about the existence of a generalization of the first isomorphism theorem for groups, for subfactors :
Let $(N \subset M)$ and $(N' \subset M')$ be irreducible inclusions of hyperfinite $II_1$ ...
0
votes
1
answer
93
views
Continuity of generalised Legendre transform
Let $X$ and $Y$ be $\sigma$-compact spaces, and $\mu$ [resp. $\nu$] be a regular Borel probability measure on $X$ [resp. $Y$].
For a bounded continuous $c:X\times Y\rightarrow\mathbb{R}$, we consider ...
- 463
0
votes
0
answers
302
views
Banach space of discontinuous functions on a product space
Edit: According to comments of Eric Wofsy and Yemon Choi I edit the question.
For a (compact) topological space $X$, we put $A=\{f:X\to \mathbb{C}\mid f\text{ is bounded}\}$. We define a semi-...
- 356
0
votes
1
answer
463
views
Is a function needed here?
This question is related to my question Can we choose an element from a class?.
However, I decided to create a separate question.
Let $H$ be a complex Hilbert space and $H_1,\dotsc,H_n$ be closed ...
- 935
0
votes
1
answer
155
views
Does the set of positive definite kernels on some set X form a ring?
Given some non-empty set $X$, does the set of positive definite kernels on $K_X$ form a ring with pointwise addition and multiplication. I am convinced it does not as surely if $k \in K_X$ then we ...
0
votes
1
answer
365
views
Integral in a σ−convex set.
Having had no (proper) answer to this question, I formulate the remaining case as a new question as follows. With $I=[0,1]$, let $E$ be a separable (real) Banach space, and let $\gamma:I\to E$ be ...
- 3,584
0
votes
1
answer
88
views
Is the mapping $F(a):= \arg\min_{x \in \mathbb R^n} \|x-a\|_2 + \|x\|_1$ non-expansive?
Fix $a \in \mathbb R^n$ and let $\|\cdot\|$ be any norm on $\mathbb R$ (e.g $\ell_1$ norm). For any $a \in \mathbb R^n$, it is clear that the function $f_a(x) := \|x-a\|_2 + \|x\|$ is strictly convex ...
- 6,853
0
votes
1
answer
294
views
Exponential Convexity
$\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
0
votes
1
answer
212
views
The Quotient exponential operator
I have a question if you don't mind. I have the following quotient operator:
$$\frac{1}{e^{d/dx}(f(x))}$$
Where $f$ is a smooth function on $R$. I would like to get rid of the denominator. IS there ...
- 159
0
votes
1
answer
491
views
Is this set of function belongs to $L^\infty$?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...
- 679
0
votes
1
answer
476
views
Is my application of Faà di Bruno's formula correct?
Suppose I have a function $f$ from $\mathbb R^d$ to $\mathbb R$, and denote $g = \exp \circ f$.
I want to express the derivatives of the function $g$ in term of the derivatives of $f$ and vice versa, ...
- 686
0
votes
2
answers
254
views
Proving that preorder on the set of measurable functions is symmetric
Let's say I have specific preorder $\prec$ on set $S$ and I want to prove that in fact it is equivalence relation. What is known already:
$S$ is set of measurable functions $f : \Omega \rightarrow X$ ...
- 105
0
votes
0
answers
118
views
A measure on the group of homeomorphisms of $\mathbb T^2$
Let us consider the group of measure-preserving homeomorphisms of $\mathbb T^2$ (with transformations identified if they agree almost
everywhere) called $G[\mathbb T^2, \mathcal L^2]$. We shall ...
- 101
0
votes
1
answer
118
views
Minimal norm problem whose unknown is an operator
Generally given an Hilbert space $X$ with and a bounded linear operator $H : X \to X$ given a vector $y \in X$ we seek an $x \in X$ such that
$$
f(x) = \frac{1}{2} \left\lVert Hx - y \right\rVert_2^2
$...
- 115
0
votes
1
answer
139
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
0
votes
1
answer
110
views
Functions for which $|f^{(k)}|_{C^{0,\alpha}(0,1)} \le \Vert f \Vert_{L^1(0,1)}$
Let $f \in C^k(0,1)$ and assume that the $k$-th derivative is $\alpha$-Hölder continuous. Assume that $f(x) = 0$ in a fixed interval $(a,b) \subset (0,1)$. Can we characterize (or at least find some ...
- 131
0
votes
1
answer
102
views
Limit of minimizers of a class of functionals
Assume that $ \Omega $ is a smooth bounded domain in $ \mathbb{R}^n $. Consider a functional
$$
\mathcal{F}(u)=\int_\Omega(|\nabla u|^2+h^{-1}|u-u_0|^2) \, dx
$$
where $ h>0 $ is a parameter and $ ...
- 1,219
0
votes
1
answer
140
views
Approximating a sequence of tempered distributions "uniformly" by Schwartz functions
This question has been motivated by the post making sense of distributions on the diagonal.
Let $T$ be a tempered distribution on $\mathbb{R}^2$ and $\eta$ be a given mollifier on $\mathbb{R}$. For $f ...
- 3,477
0
votes
0
answers
154
views
Use of this space of very rapidly decreasing continuous functions
Let $C_n$ denote the subspace of continuous function on $[0,\infty)$ supported on $[n,n+1]$. Denote the $\ell^p$-direct sum Banach space
$$
V_p
:=
\left\{
f \in C([0,\infty)):\,
\sum_{n=1}^{\infty} ...
- 5,405
0
votes
0
answers
173
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 ...
- 679
0
votes
0
answers
171
views
Explanation of a step in a preprinted work
I have been studying this preprinted paper and the references therein. I believe that there are some typos; However, since I am not an expert yet, I would like to make sure I am correct.
I do not ...
- 159
0
votes
1
answer
258
views
Exponential derivative operator and continuous functions
I would like to know how to write down the following expression
$$f(y)=\frac{1}{y^{n} e^{\frac{d}{dy}}g(y)}$$
in the form of $e^{-\frac{d}{dy}}y^{-n}(\frac{1}{g(y)})$ where $n$ is an integer and $f,g: ...
- 159
-1
votes
2
answers
409
views
$X$ is Polish and $N$ is countable. Is $N^X$ Polish? [closed]
$X$ is a separable, completely metrizable topological space equipped with its sigma algebra of Borel sets. $N$ is a countable space.
$X^N$ is the collection of all mappings from $N$ to $X$. It is ...
- 263
-1
votes
1
answer
74
views
Invariant ergodic measure Volterra operator
Define the Volterra operator $V$ on $C_0([0,1])\triangleq \{g \in C([0,1]):g(0)=0\}$ by
$$
f \mapsto \int_0^{\cdot} f(s)ds.
$$
Is there an example of an ergodic and $V$-invariant Borel probability ...
- 5,405
-1
votes
1
answer
208
views
Does this function belong to $L^2(\mathbb{D})$?
Edit: After the answer of Prof. Eremenko to the previous version, I realized that a weaker assumption works for the main motivation of this post. so I revise the question.
The unit ...
- 356
-2
votes
1
answer
314
views
Series representation for $\log(|\zeta(\frac{1}{2}+it)|)$
(Question is short and straight-forward. )
What is/are "nice and non-trivial" series representation/s of $\log(|\zeta(\frac{1}{2}+it)|)$ ??
By "nice and non-trivial" I mean contains no ...
- 375
-3
votes
1
answer
76
views
Minimal norm problem with linear combination of translation operator to be estimated
Follow up question from this one
Suppose $X = L^2(G)$, where $G$ is some locally compact group. Let $x, y \in G$ I for fixed $n$ I am seeking for an operator $H \in B(X)$ of the form
$$
H = H(\alpha_1,...
- 115
-4
votes
2
answers
530
views
Inverse square-law as a positive definite kernel?
Newtons law for gravity states that:
$$F_{12} = \frac{G m_1 m_2} {|x_1-x_2|^2}$$
The function :
$$k(x,y):=\exp(-| x-y|^2)$$
is known to be a positive definite function, called the RBF-kernel.
It ...
- 3,064