All Questions
1,332 questions
2
votes
1
answer
662
views
Clausen’s identity for associated Legendre polynomials
Clausen’s identity for Legendre polynomials has the form (see, for example,
A generating function of the squares of Legendre polynomials, by Wadim Zudilin: https://arxiv.org/abs/1210.2493)
$$P_n(\cos{\...
- 16.5k
2
votes
2
answers
634
views
Continuous upper envelope of upper semicontinuous function
Let $u$ be a upper semicontinuous function on a compact set $K$ in $\mathbb R^d$. Define a space of continuous function dominating $u$ by
$$A = \{\phi \in C(K): \phi \ge u\}.$$
[Q.] Is the following ...
- 1,399
2
votes
1
answer
775
views
Tietze's extension theorem for compact subspaces
The topological question:
Are there Hausdorff topological spaces $X$ which are compactly generated (=Kelly spaces = $k$-spaces, that is, a subset is closed if its intersection with every compact set ...
- 16.4k
2
votes
0
answers
115
views
Application of Bishop-Phelps Theorem
Consider a real Banach space $X$ and its continuous dual $X^*$. The Bishop-Phelps Theorem states that the set
$$A^*=\{x^*\in X^* \mid x^* \text{ attains its supremum on } \text{ the unit ball } \...
- 193
2
votes
3
answers
3k
views
dual space of a subspace of the space of bounded measures
Let $\mathcal{M}=\mathcal{M}(\mathbb{R})$ be the space of bounded measures. Equipped with the weak convergence, the dual space of $\mathcal{M}$ is $\mathcal{C}_b(\mathbb{R})$ consisting of continuous ...
- 1,835
2
votes
2
answers
2k
views
Separable quotients of non-separable Banach spaces?
I am reading the Functional Analysis book of Conway, one question from the book is find a closed subspace M of $l^{\infty}=l^{\infty}(\mathbb{N})$ with the property that $l^{\infty}/M$ is separable. I ...
- 281
2
votes
1
answer
471
views
Takesaki II proposition 3.15 proof about modular automorphism groups: mistake in book?
Consider the following fragment from Takesaki's second volume "Theory of operator algebras" in chapter VIII "Modular automorphism groups" p122-123.
Why is it possible to choose an ...
- 175
2
votes
1
answer
1k
views
Existence of a projection operator onto subspace of Hilbert space
Let $V \subset H$ be Hilbert spaces with a continuous, compact and dense imbedding. Let $\{w_j\}_j \subset V$ be a basis of $V$ and of $H$ (so finite linear combinitions are dense) which is not ...
- 35
2
votes
1
answer
1k
views
Subgradient of Minimum Eigenvalue
Consider three $N \times N$ Hermitian matrices $A_0$, $A_1$, $A_2$. Consider the function
\begin{align}
f(t_1,t_2)=\lambda_{\text{min}}(A_0+t_1A_1+t_2A_2)
\end{align}
where $\lambda_{\text{min}}$ ...
- 1,421
2
votes
0
answers
382
views
Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)
Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...
- 53
2
votes
1
answer
284
views
Eigenfunctions of an infinite summation operator
I would like to find ALL eigenfunctions to the operator, for $f$ a real function on R+*:
$f \rightarrow \sum_{1}^{\infty} f(nx)$
So to find $f$ such that: $\sum_{1}^{\infty} f(nx) = \lambda f(x)$
...
- 1,199
2
votes
2
answers
223
views
Relating function value to $L^2$ norm in Holder space
Suppose that $f \colon [0, 1] \to \mathbb{R}$ is $k$ times continuously differentiable and Holder in the sense that for some
$t = k + \beta$, where $\beta \in (0, 1]$ and $k$ is a nonnegative integer ...
- 420
2
votes
0
answers
279
views
Relationship between $p$-capacity and Riesz $s$-capacity of a set
What is the relationship between the definitions of $s$-capacity (page 13 here) and $p$-capacity (here) of a set?
Are they equivalent? If not, what inequalities hold? What is the difference (in terms ...
- 839
2
votes
2
answers
436
views
Existence of rearrangements of functions in $L^p([0,1])$ when given a measure preserving map
Given a funtion $f \in L^p([0,1])$ (take $p=\infty$ if you'd like), and also a measure preserving map $s:[0,1] \to [0,1]$ (meaning $s$ pushes Lebesgue measure forward to itself) I would like to know ...
- 2,641
2
votes
2
answers
457
views
A Fixed point Theorem that does not need the convexity of set valued map?
I am looking for a fixed point theorem for set valued maps that does not assume the set valued map should be convex valued.
Something like contractiblity or other properties can be replaced with ...
- 383
2
votes
1
answer
959
views
Do kernels provide a basis for a RKHS?
Let $H$ be a Reproducing Kernel Hilbert Space with elements $f:X\rightarrow \mathbb{C}$, with kernel $K(x, y)$. My question is whether, for some choice of $x_i\in X$, it is the case that $u_i:=K(x_i, \...
- 461
2
votes
0
answers
199
views
Convergence of the difference quotient of a BV function
Consider a BV function $u \in BV(\mathbb{R}^N; \mathbb{R}^N)$.
What can be said about the difference quotient
$$
\frac{u(x+\epsilon y)-u(x)}{\epsilon}
$$
regarding its convergence as $\epsilon \to 0$...
- 839
2
votes
2
answers
411
views
Given a total variation distance from uniform, how well can we bound the probabilities of sub-intervals?
I made the following claim, which I now see that I don't know how to prove. Can anyone prove it?
Claim. Let $f$ be a concave and non-negative function on $[0,1]$ with $$\int_0^1 f = 1,$$
$$\int_0^1 |f-...
user44143
2
votes
1
answer
328
views
Hausdorff dimension of the graph of a BV function (in 1 dimensional setting)
Let $u: \Omega\subset \mathbb{R} \to \mathbb{R}$ be a function of bounded variation.
Question 1.
How can we prove that the Hausdorff dimension of the essential graph of $u$ equal to $1$?
Question ...
- 839
2
votes
2
answers
494
views
Polynomial approximation (Weierstrass theorem) with bounds
Consider the closed interval $[0,1]$ and let $f \in C[0,1]$. Let $g$ be a real valued function on $[0,1]$ such that $g \leq f$.
Suppose $g = f$ at atmost finitely many points. Does there exist a ...
- 431
2
votes
0
answers
184
views
Properties of the optimal decomposition for the $K$-functional between $\ell_1$ and $\ell_2$
Background: For any fixed $t> 0$, the $K$-functional defines a norm on the space $\ell_1+\ell_2$:
$$
\lVert a\rVert_{K(t)} = \inf\{\lVert a'\rVert_1+ t\lVert a''\rVert_2 : a'\in\ell_1,\ a''\in\...
- 1,372
2
votes
1
answer
453
views
Weak convergence of probability measures on weak versus strong dual
The space of temperate distributions $S'(\mathbb{R}^d)$ is often equipped with the weak-$\ast$ or with the strong topology. When defining the notion of a probability measure on $S'(\mathbb{R}^d)$, ...
2
votes
1
answer
162
views
On the continuity and injective-ness of Gauss quadrature scheme for numerical integration, with weight function identically $1$
Fix an integer $n\ge 2$. Let $[a,b]$ be an interval and $f: [a,b]\to \mathbb R$ be a continuous function and for $x_1,...,x_n$ being the Gaussian Quadrature nodes in $[a,b]$, and Gaussian Quadrature ...
- 1,209
2
votes
1
answer
433
views
bounding the absolute value of a trigonometric polynomial
Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$
\begin{equation*}
f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})}
\...
- 859
2
votes
4
answers
1k
views
Change of variables in a Gaussian integral in matrix form
I have a problem in which I have to compute the following integral: $$\mathop{\idotsint\limits_{\mathbb{R}^k}}_{\sum_{i=1}^k y_i=x} e^{-N^2r(\sum_{i=1}^k y_i^2-\frac{1}{k}x^2)} dy_1\dots dy_k,$$
where ...
- 93
2
votes
1
answer
1k
views
Mixed (anisotropic) Sobolev spaces
Consider real variables $x, y$ and a function $f(x, y) \in H^s(\mathbb{R}^2)$, say for some $s \in (0, 1)$. I am trying to get an understanding of mixed Sobolev spaces of the form $H^s_x(H^s_y)$, ...
- 23
2
votes
0
answers
193
views
If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dotsb+ B_n'$ also satisfies the same inequality
Related: On a deceptively tricky calculus problem.
The way that Leonard Gross proves the log Sobolev inequality is in the following stages:
He proves that for any operator $B$ that satisfies the log ...
- 90
2
votes
0
answers
240
views
3 questions around the Stone space of the free $\sigma$-algebra on $\omega_1$ free generators
During my studies, I came across several different Stone spaces, e.g.:
(i) The Cantor cube $X=\{0,1\}^{\omega_1}$, which is the Stone space of the free Boolean algebra on $\omega_1$ free generators;
...
- 207
2
votes
1
answer
378
views
Does the norm on a sequence space have to be monotone?
Let $\rho:[0,+\infty)^{\mathbb{N}}\to[0,+\infty] $ satisfy the following properties:
$\rho(\lambda u)=\lambda\rho( u)$, for every $u\in [0,+\infty)^{\mathbb{N}}$ and $\lambda\ge 0$;
$\rho(u+v)\le \...
- 5,529
2
votes
1
answer
142
views
Proving convexity of the expected logarithm of binomial distribution
I would like to prove that the following function, for an arbitrary integer $n$:
\begin{equation}
\begin{split}
f(x) & =x\cdot E \ \log(1+\text{Binomial(n,x)}) \\
& = x \cdot \sum_{k=0}^{n} \...
- 23
2
votes
0
answers
71
views
Is there a function $u \in BV_{loc}(\mathbb{R}^2)$ such that $Du$ is an $s$-dimensional Hausdorff measure restricted to the Koch curve?
Motivated by my previous question Alberti rank-one theorem and irregular jump discontinuities, I'd like to ask the following:
Is there a function $u \in BV_{loc}(\mathbb{R}^2)$ such that $Du$ is an ...
- 839
2
votes
2
answers
2k
views
Hessian of function of covariance matrices
Suppose we have a typical logdet function $\mathcal{L}$ with respect to a covariance matrix $\mathbf{A}$,
$$
\mathcal{L}(\mathbf{A}) = \log\vert \mathbf{I} + \mathbf{A}\mathbf{S} \vert - \mathbf{q}^T(\...
- 125
2
votes
1
answer
548
views
Can the characteristic function of a Borel set be approached by a sequence of continuous function through a certain convergence in $L^\infty$?
Want to find $f_n$ a sequence of continuous functions, so that for all Borel regular measure $\mu$, we have
$\int f_n d\mu\rightarrow\int \chi_\Delta d\mu$, as $n$ goes to infinity, where $\Delta$ ...
- 31
2
votes
1
answer
94
views
Density of functions into the circle glueing
Let $\{U_i\}_{i=1}^2$ be an open cover of $S^1$, with $U_i\cong \mathbb{R}$ (for example, $U_1$ is the lower arc of the circle and $U_2$ is the upper part). Let $\iota_i:U_i\hookrightarrow S^1$ be ...
- 5,405
2
votes
2
answers
281
views
About $\lim_{n\to +\infty} n\prod_{k=1}^{n-1}\cos^2(k)$
In my research work, I need to show that the sequence $(nu_n)$ tends to 0 where $ (u_n)$ is defined by $$u_{n+1}=u_{n} \cos^{2}(n),\quad u_{0}=1$$
$(u_n)$ is a positive and decreasing sequence. My ...
- 1,503
2
votes
1
answer
205
views
Estimates for an elliptic PDE
Let's say I have an equation of the form $\Delta A = J$ where $J=u\nabla u + A|u|^2$ (Clarification: We are on $\mathbb{R}^3$ and $u$ is assumed to be in $H^1(\mathbb{R}^3)$). Then I could simply ...
- 469
2
votes
1
answer
315
views
Parabolic PDE Long Time Asymptotics and Elliptic Operator Spectrum
How does one show directly that the solution following parabolic partial differential equation (PDE) of $p(t,v)$ approaches its stationary solution which is a solution of an elliptic partial ...
- 2,239
2
votes
0
answers
62
views
Capacity approximations by sets with regular boundary
Suppose I have a continuous, compactly supported function $f : \mathbb{R}^2 \to \mathbb{R}_{+}$ and I define the set $S := f^{-1}([a,\infty)) \subset \mathbb{R}^2$ for some $a > 0$. It is a ...
- 321
2
votes
1
answer
238
views
Hilbert-irreducible Banach space
A Banach space $X$ is called Hilbert-irreducible if it satisfies the following condition:
If a subspace $Y\subset X$ satisfies the parallelogram equality, then $Y$ is necessarilly a one ...
- 356
2
votes
0
answers
640
views
Another special property of the exponential function?
For $x>0$, define
$\tilde f(x) = \sum\limits_{k = 0}^\infty {\frac{{(x - k) ^k }}{{k!}} {\bf 1}(x>k)}$,
where ${\bf 1}$ is the indicator function.
I know (actually, proved) that $\tilde f(x)$ ...
- 1,468
2
votes
1
answer
61
views
$K *g_n$ converges in the topology of smooth functions, $K$ approximates $\delta(x)$ and $g_n$ is a.e convergent to $g$, then regularity of $g$?
This question is continuation from If $K *g_n$ converges in the Fréchet topology of smooth functions and $K$ approximates $\delta(x)$, is $g_n$ itself convergent? - revised.
As before, let us ...
- 3,477
2
votes
1
answer
713
views
Reference request: numerical analysis of PDEs and integro partial differential equations
I'm very new to the field of numerical analysis of PDE and integro partial differential equations.
My advisor (who is not a specialist in this area) highly recommended to read
Randall J. LeVeque'...
user102027
2
votes
1
answer
228
views
Given an eigenvalue equation (elliptic PDE) in a ball $B_R$, prove the convergence of the first nonzero $\lambda_R$ and its eigenfunction $\phi_R$
Let $H: \mathbf{R}^n \rightarrow \mathbf{R}$ be a bounded continuous function. Set
$$\tag{1}
\int_{\mathbf{R}^n}\left\{|\nabla \xi|^2+H(x) \xi^2\right\} \mathrm{d} x \geqslant 0, \quad \forall \xi \in ...
- 809
2
votes
1
answer
1k
views
Are bounded functions L-1 compact?
Let $(X,\Sigma,\mu)$ be a finite measure space (i.e., $\mu(X) < \infty$). Let $\mathcal{F}$ be the set of $\mu$-measurable functions $f:X \to \mathbb{R}$ that are bounded in $[0,1]$, so that $0 \...
- 1,322
2
votes
1
answer
169
views
How to choose minimisers in a continuous way
Let $\langle X, X' \rangle$ be a dual pair equipped with the weak and weak* topologies.
Let $C$ be a weak* compact subset of $X'$ with nonempty interior. For each $x \in X$, let $M(x)$ be the set of ...
- 869
2
votes
1
answer
341
views
What functions do we need to solve linear second order differential equations with polynomial coeficients? [closed]
.
Final edit: The problem I had in mind is properly asked in THIS MO QUESTION, so I'll vote to close the present post e recommend anyone interested in the topic to visit that link.
.
.
.
.
.
Below is ...
- 480
2
votes
1
answer
416
views
Questions about Maharam's classification theorem
I am studying von Neumann algebras. In the wiki article abelian von Neumann algebras, it mentions that every abelian von Neumann algebras acting on a separable Hilbert space is *-isomorphic to $L^{\...
- 523
2
votes
1
answer
131
views
Closeness of points in the irreducible decomposition of a C$^{*}$-algebra representation
Suppose $X$ and $Y$ are compact metric spaces. Let $\varphi\colon C(X)\to M_{n}(C(Y))$ be any $*$-homomorphism. If $\pi$ is an irreducible representation of $M_{n}(C(Y))$, then $\pi$ is unitarily ...
- 267
2
votes
1
answer
196
views
Viscosity solutions of $(-\Delta)^s u = 0$ in $\Omega $ with non-homogeneous data $u = 1$ in $\mathbb R^n \setminus \Omega$
Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem
$$
(1) \quad \begin{cases}
(-\Delta)^s u +\lambda u= 0 & x \in \Omega \\
u = 1 & x \in \mathbb R^n \...
- 161
2
votes
2
answers
741
views
Bochner's theorem for measures of positive type
Is there a version of Bochner's theorem characterizing measures of positive type on a locally compact group? By a measure of positive type on the group $\Gamma$, I mean a measure $\mu$ satisfying $\...
- 195