**3**

votes

**0**answers

269 views

+50

### Properties of the solution of the heat equation

Note 1: the following question has been post on Math Stackexchange here but receive no respond. So I post it here to get more attention.
Note 2: This is my research problem, but the original problem ...

**1**

vote

**0**answers

40 views

### Has every Lusin vector space a stronger Polish vector space topology?

Let $X$ be a topological vector space or even a locally convex space such that its (vector space) topology is Lusin, i.e. there is some stronger Polish topology. Does there also exist a stronger ...

**0**

votes

**1**answer

1k views

### What is the orthonormal basis for the Bergman space on the disk?

[EDIT by YC: the original question's title asked about a basis for the Hardy space on the disk. It is clear from the actual question that what was meant was the Bergman space.]
In arXiv:0310.5297, ...

**3**

votes

**2**answers

142 views

### Lower bound for Euler's function

Euler function is defined, for $|x|\le 1$, as follows:
$$\phi(x)=\prod_{i=1}^\infty(1-x^i)$$
Upper bounds for $\phi$ can be simply derived from ending the product early, e.g.
...

**6**

votes

**2**answers

217 views

### Completeness of nonharmonic Fourier Series

I have the following question:
The Exponential System $(\exp(2\pi i n \cdot ))_{n\in \mathbb{Z}}$ constitutes an orthonormal basis of $L^2([-1/2,1/2])$.
Thus, certainly the oversampled system ...

**0**

votes

**1**answer

50 views

### On a theorem by Mooney and Khavin on the weak sequential completeness of the predual of $H^\infty(\mathbb{D})$

There is a theorem by Mooney http://msp.org/pjm/1972/43-2/pjm-v43-n2-p.pdf#page=185 and independently proved by Havin which says that the predual of $H^{\infty}(\mathbb{D}),$
$L^{1}/H^{1}_{0}$ is ...

**11**

votes

**2**answers

278 views

### When is the closed unit ball in a smaller Banach space closed in a larger Banach space?

Recently I saw an interesting lemma:
For any $s>0$, the closed unit ball in $H^s$ is also closed in the $L^2$ norm. That is, suppose $u_j\in H^s$ and $\|u_j\|_{H^s}\le 1$. Suppose $u_j\to u$ in ...

**3**

votes

**1**answer

96 views

### A clarification regarding analytic perturbation of metrics and Laplacian

This question is in reference to the following Mathoverflow question and the accepted answer to it. It seems to me that it is taken for granted that if the metric $g_t$ perturbs real analytically in ...

**2**

votes

**0**answers

56 views

### Lower semi-continuity of the Hellinger-Fisher-Rao distance

I am currently working on unbalanced optimal transport, where the Hellinger (or sometimes Fisher-Rao) distance
$$
...

**0**

votes

**0**answers

91 views

### from finite to $\sigma$-finite measure space [migrated]

This might be rather elementary. I have put it at MSE for a while without getting any answers.
Here is the question:
In the proof of the following theorem, would anyone explain how the general case ...

**1**

vote

**0**answers

56 views

### Asymptotics of a elliptic pde when exponent gets large

I am interested in the following pde
$$ -\Delta w_p + \left( \frac{1}{p-2} +1 \right) \frac{ | \nabla w_p|^2}{w_p} + \epsilon(p) \left( \frac{1}{w_p} \right)^{(p-2)} = (p-2) w_p $$ in the unit ball ...

**5**

votes

**2**answers

218 views

### Thin large subspaces of $\ell^N_1$

Consider a sequence $V_N$ of subspaces of $\ell^N_1$ so that $\dim V_N = N- n$ and $n$ is $\mathsf{o}(N)$. Is it true that these spaces are "thick" (unofficial terminology), i.e. are there constants ...

**-8**

votes

**0**answers

50 views

### connectedness in Euclidean Space [on hold]

f:[0,1] to R is a map defined by f(x)=sin(1/x),for x is not zero and
f(0)=0.X={(a,f(a))|a is in [0,1]}.prove that,X is a connected subset of
R^2 where the metric is usual euclidean metric on R^2.

**-6**

votes

**0**answers

65 views

### Continuity of Real line [on hold]

f:R to R such that f attains every value exactly twice i.e. for all a in
R, {x in R|f(x)=a} is either empty or doubleton set.prove that,f is
discontinuous at infinitely many points .

**2**

votes

**0**answers

74 views

### A modification of Minty's trick?

I have the following result:
$$0 \leq \int_0^T (a(t)- |w(t)|)(b(t) - g^{-1}(|w(t)|))\quad\forall w \in L^2(0,T)$$
where $a$ and $b$ are both non-negative.
Does it follow that $b(t) = g^{-1}(a(t))$? ...

**3**

votes

**0**answers

77 views

+50

### Eigenvalues and eigenvectors of the q-Bernstein operator

The Bernstein operator maps $f\in C[0,1]$ to its Bernstein
polynomial $B_n f.$ The eigenvalues and eigenfunctions of the
Bernstein operator on $C[0,1]$ have been described in [1]. Similar description ...

**0**

votes

**0**answers

102 views

### What is the name of this theta related function? [closed]

My adviser showed me a function which is important for my current work, but he doesn't remember where he got this. He just knows it's a kind of theta function. I cannot find any literature talking ...

**8**

votes

**1**answer

3k views

### Double Orthogonal Complement

Let $V$ be a complex inner product space. If $W$ is a closed subspace of $V$, we may define $W^\perp$ to be the subspace of all vectors $v \in V$ such that $\langle v | w\rangle =0$ for all $w \in ...

**2**

votes

**0**answers

77 views

### Heat equation - regularity of solutions [migrated]

Consider the heat equation on $\mathbb{R}$
$$
u_t=u_{xx}
$$
with boundary conditions $u(0,x)=g(x)$.
It is well-known that even if the function $g$ is "very bad'' (say, only bounded but not ...

**0**

votes

**1**answer

155 views

### solution uniqueness of non-linear Fredholm equations

the equation is
$F(x)=G(\int k(x,y)f(y)dy)$ $(*)$
where $f(x)=dF(x)/dx$ is the unknown and it's required to be non-negative. With integral by parts we'll have the form of a non-linear Fredholm ...

**-1**

votes

**0**answers

58 views

### Product of smooth functions [closed]

Let $O$ be a non empty open subset of a bounded open set $\Omega\subset R^n,$ and let $f\in L^2(\Omega)\cap W^{2,\infty}(O)$.
Let $u: \Omega \to R$ be a function such that the function $g$ defined ...

**-3**

votes

**0**answers

46 views

### What is operator valued function? [closed]

I'm new to functional analysis and confused what operator valued means.

**-5**

votes

**0**answers

42 views

### Is there any polynomial/math function which will generate the output in specific range of integer values [closed]

Is there any polynomial/math function which will generate the output in specific range of integer values.
E.g. f(x,y) = z
where z will be in range [1-5] and for set of input value.
Also it will be ...

**4**

votes

**0**answers

68 views

### Smooth perturbation of a positive self-adjoint operator with compact resolvent

Consider a one-parameter family $A_t$ of unbounded positive self-adjoint operators with discrete spectrum (for example, one can consider a one-parameter family of Laplacians on a compact Riemannian ...

**0**

votes

**0**answers

44 views

### Left introversion operators associated to function spaces on semigroups

I am stuck on the following question for quite sometime now. Please help, any comment is welcome.
Let $S$ be a topological semigroup and $\mathcal{F}$ be a translation invariant, conjugate closed ...

**0**

votes

**0**answers

29 views

### How the diffusion in the unit ball induce the boundary process on the boundary directly?

This is Example 1.2.3 from Fukushima, Masatoshi, Oshima, Yoichi and Takeda, Masayoshi's book "Dirichlet Forms and Symmetric Markov Processes".
In this example, we define a Dirichlet form in the unit ...

**5**

votes

**1**answer

97 views

### Is the Feichtinger's algebra $(S_0(\mathbb{R^d}),||\cdot||_{S_0})$ reflexive?

The Feichtinger's algebra
$S_0(\mathbb{R^d})=M^{1,1}(\mathbb{R^d}):=\{f\in L^2(\mathbb{R^d}):V_g(f)\in L^1(\mathbb{R^{2d}})\}$, where
$V_g(f)(x,\omega)$ is the short-time Fourier transform of $f$ with ...

**9**

votes

**1**answer

192 views

### The intuition behind the Hilbert projective metric and the Perron Frobenius Theorem

Recently I have read a proof of the Perron Frobenius Theorem for positive aperiodic matrices. In this proof, the trick is to put a metric in the "positive quadrant" of $\mathbb{R}^n$, ...

**3**

votes

**0**answers

120 views

### Proof without distributions

I was wondering whether there is a way to show this identity
$$\pi \int_{\mathbb{R}^3} \frac{f(x)}{|x|} dx = \int_{\mathbb{R}^3} \frac{\widehat{f(x)}}{|x|^2} dx $$ without using distributions for $f ...

**1**

vote

**1**answer

106 views

### Subspaces of $H^{\infty}(\mathbb{D})$ which contains a nontrivial weak* closed subalgebra

Let $H^{\infty}(\mathbb{D})$ denotes the Banach space of bounded holomorphic functions in the unit disc. Consider the weak* topology on $L^{\infty}(\mathbb{T})$
that it inherits as the dual of ...

**6**

votes

**0**answers

139 views

### Commutation preserving operators

Let $A$ and $B$ be unital $C$*-algebras and let $T\colon A\to B$ be a bounded linear bijection that preserves commuting elements, i.e., $ab=ba$ implies $TaTb=TbTa$. Does $T^{**}$ then also preserve ...

**16**

votes

**5**answers

3k views

### Is there a natural measures on the space of measurable functions?

Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...

**7**

votes

**1**answer

202 views

### A Generalized Version of Maximal Correlation and Hypercontractivity of Conditional Expectation Operator

Given a pair of random variables $(X,Y)$ over a product space $\mathcal{X}\times \mathcal{Y}$, the maximal correlation coefficient is defined as
...

**2**

votes

**1**answer

792 views

### For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that
$$
\sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty,
$$
where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...

**4**

votes

**1**answer

111 views

### Invariant subspaces are reducing subspaces in $L^2(\mu)$; where $\mu$ is a singular measure w.r.t Lebesgue measure

I have already posted this question on math.stackexchange but didn't get any answer. I hope this is the right place to ask this question.
Recently I was reading a book "Operator Function and system" ...

**1**

vote

**0**answers

66 views

### One-parameter group of unitary operators and Core

Question : For what condition on $V$ (we can take it smooth, bounded, whatever necessary), the one-parameter unitary group $U(t)$ associated to the seladjoint operator $A=-\Delta+V$ on $\mathbb{R}^n$ ...

**4**

votes

**1**answer

118 views

### Is Hessian operator self-adjoint on infinite dimensional environment?

As we know the Hessian matrix is symmetric in a finite-dimensional environment. What about the Hessian operator $D^2F$ for a functional $F:H\rightarrow \mathbb{R}$, where $H$ is a Hilbert space and ...

**0**

votes

**1**answer

111 views

### Nonstable $K$-theory question

Let $Y$ be a compact, Hausdorff topological space, and $X$ be a locally compact, contractible, Hausdorff space which is homeomorphic to a dense subset of $Y$.
Question A: Is ...

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

**11**

votes

**4**answers

459 views

### Reference for a strong intermediate value theorem for measures

Let $\mu$ be a finite nonatomic measure on a measurable space $(X,\Sigma)$, and for simplicity assume that $\mu(X) = 1$. There is a well-known "intermediate value theorem" of Sierpiński that states ...

**1**

vote

**0**answers

41 views

### Operator algebra generalization of linear algebra result on diagonalization of commuting operators with distinct eigenvalues [migrated]

In linear algebra it is true that: a) if $\mathcal{A}$ is a set of unitarily diagonalizable matrices (in $\mathbb{C}$, i.e. normal matrices) that commute with each other then they are simultaneously ...

**3**

votes

**1**answer

288 views

### How can I show that “almost all function” have property P?

The following is cross-posted from
http://math.stackexchange.com/questions/1391293/is-almost-all-function-a-well-defined-concept
since I didn't (yet) get an answer there.
(I hope that's okay?)
...

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

**4**

votes

**1**answer

164 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

112 views

### Averaging measurable functions over amenable group actions

Let $G$ be an amenable group acting on a space $X$.
Amenability means there is a $G$-invariant mean on $L^\infty(G,{\mathbf R})$.
Given a bounded function $f\colon X\to {\mathbf R}$ one can use the ...

**3**

votes

**0**answers

109 views

**4**

votes

**2**answers

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

**1**

vote

**1**answer

190 views

### Is there any way to compare between diagonals of a resolvent and a Cauchy transform?

Say $A$ is a symmetric matrix of $n$ dimensions. Then let the ``resolvent" of $A$ be the matrix valued function $R_A(z) = \frac{1}{z-A}$ and its Cauchy transform be the real valued function $C_A(z) = ...

**5**

votes

**1**answer

284 views

### Multivariate Maximal Hilbert Transform

One way to define the maximal Hilbert transform of a function, $f$, is by
$$\mathcal{H}[f](x):=\sup_{\varepsilon>0} \left| \int_{|x-t|\geq\varepsilon} \frac{f(t)}{x-t} \, dt\right|, \quad ...

**0**

votes

**1**answer

82 views

### The monotone operator in $BV$ space

I am considering the following minimizing problem:
$$
\min_{u\in BV(\Omega)}\{\frac12\|u-u_0\|_{L^2}^2 + |u|_{TV(\Omega)}\}
$$
where $u_0\in BV(\Omega)$, $\Omega\subset \mathbb R^2$ is open bounded, ...