All Questions
5,909 questions
3
votes
0
answers
200
views
Largest weak(-like) topology with respect to which continuous functions are dense in the space of Borel functions
Let $X$ denote the space of bounded Borel functions $f\colon [0,1] \to \mathbb{R}$. Let $M$ denote the space of finite Borel measures on $[0,1]$. What is the largest family $F \subset M$ such that for ...
- 24.2k
1
vote
2
answers
820
views
Integral formula involving Legendre polynomial
I would like a proof of the following equation below, where $(P_n)$ denotes Legendre polynomials. I guess this formula to hold; I checked the first several values.
\begin{equation}
\int_{-1}^{1}\sqrt{...
- 63.9k
7
votes
1
answer
856
views
Compactness of set of indicator functions
Let $\chi_A(x)$ denote an indicator function on $A\subset [0,1]$. Consider the set
$$K=\{\chi_A(x): \text{ A is Lebesgue measurable in }[0,1]\}.$$
Is this set compact in $L^\infty(0,1)$ with respect ...
- 5,005
-2
votes
1
answer
214
views
About infinite products and Euler Gamma functions [closed]
I am interested in knowing how to calculate infinite products like (or reading any reference about it):
$$\prod_{j=1}^{\infty}\left( 1-\left( \frac{x}{a+j\pi} \right) ^2 \right)$$
Inserting it into ...
- 54.2k
0
votes
1
answer
246
views
Cross entropy loss is not twice differentiable?
I was reading a recent theory paper in machine learning by Kenji Kawaguchi and Leslie Pack Kaelbling
https://arxiv.org/pdf/1901.00279.pdf
and the authors seem to suggest in section 2.2 that cross-...
- 116
2
votes
1
answer
131
views
Uniformly Converging Metrization of Uniform Structure
This is related to trying to resolve the currently faulty second part of my answer to this question, but is by itself a purely real analysis question.
Let $X$ be a set with a uniform structure ...
- 1,338
0
votes
0
answers
75
views
Does there exist $\alpha>0, \beta\in (0,1)$ such that $\dfrac{\sum_{k=1}^n a_k}{n}\le \alpha (a_1\cdots a_n)^{1/n} + \beta \max_i(a_i)$ holds?
Let $a_1\ge a_2\ge \cdots\ge a_n\ge 0$ be given non-negative numbers. My question is the following:
Is there any $\beta \in(0,1),\ \alpha>0$, such that $$\dfrac{a_1+\cdots+a_n}{n}\le \alpha (a_1\...
2
votes
1
answer
127
views
How to compute volume of parametric regions?
I guess this is something pretty standard in calculus, but I was unable to google the answer.
Assume I have unit hypercube $C_n = [0,1]^n$. I also have a function $f : \mathbb{R}^n \to \mathbb{R}^{n+...
- 128k
4
votes
1
answer
140
views
Construct a dense family in $W^{2,2}(\Omega)\cap W^{1,2}_0(\Omega)$ based on distance functions
Let $\Omega$ be a sufficiently regular domain, for example $\Omega=B(0,r)$, $r>0$, and $m(x)=\textrm{dist}(x,\partial \Omega)$ be the distance to boundary function.
Suppose $\mathcal{F}$ is a ...
- 1,277
2
votes
0
answers
57
views
The significant role of dual frames in the progress of Frame theory
For a given frame $\{\zeta_i\}_{i=1}^\infty$, any Bessel sequence $\{\eta_i\}_{i=1}^\infty$ satisfying in the following identity for every $\xi\in H$
$$\xi=\sum_{i=1}^\infty \langle \xi, \eta_i\...
- 21
8
votes
4
answers
4k
views
Non-zero smooth functions vanishing on a Cantor set
It is easy to give examples of continuous functions $f:[0,1]\to \mathbb R_+\cup\{0\}$ non-zero but vanishing on a Cantor set (ex: Can Cantor set be the zero set of a continuous function?). It is ...
- 28k
1
vote
1
answer
337
views
Prove that $x^{y^x}>y^{x^y}$ for $x>y>0.$ [closed]
Let $x>y>0$. Prove that $$x^{y^x}>y^{x^y}.$$
My attempts:
Let $1>x>y>0$.
In this case it's enough to prove that $$y^x<x^y$$ or
$$x\ln\frac{1}{y}>y\ln\frac{1}{x},$$ which is ...
- 3,486
4
votes
1
answer
241
views
Is each Swiatkowski function with closed graph continuous?
A function $f:\mathbb R\to\mathbb R$ is called Świątkowski if for any connected subset $C\subset \mathbb R$ and points $a,b\in C$ with $f(a)<f(b)$ there exists a continuity point $x\in C\setminus\{...
- 42k
6
votes
3
answers
554
views
Computing the volume of a simplex-like object with constraints
For any $n \geq 2$, let
$$D_n [r , (a_1, b_1 ) , \ldots , (a_n, b_n) ] =
\{ (x_1 , \ldots , x_n ) \in \mathbb R^n \mid
\sum_i x_i = r \mbox{ and } b_i \geq x_i \geq a_i \, \forall i \},$$
where $r \...
- 50.8k
3
votes
1
answer
1k
views
Showing a singular integral operator takes Hölder continuous functions to Hölder continuous functions of the same order
I would like to show the following function is $\gamma$-Hölder continuous. Said function $F:\mathbb{R}^n \rightarrow \mathbb{R}$ is defined by a singular integral operator of convolution type as ...
- 28k
8
votes
1
answer
440
views
Simultaneous Riemann Rearrangement
Here all functions are $\mathbb R \to \mathbb R$.
Fix $M$ a positive integer. For $i = 0, 1, ..., M,$ let $f_0 = Id$, and the other $f_i$ be continuous functions such that for all $0 \leq k < M$, $...
- 18.6k
2
votes
1
answer
223
views
Generalised raindrop function
Given a sequence of reals $(a_n)_{n > 0}$, let $f: [0, 1] \to R$ be the generalised raindrop function defined:
$f(x) = a_q$ if $x$ is rational, with denominator $q$ in lowest form; $0$ otherwise.
...
- 54.2k
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
CommunityBot
- 1
0
votes
1
answer
152
views
Reference request: Baire class 2 functions
There are many articles on Baire 1 functions, but not many on Baire 2 and above. Where can I find a nice comprehensive survey of them?
- 367
2
votes
1
answer
69
views
Decaying of a certain ratio of binomial sums
Consider the two sequences
$$a(n)=\sum_{k=1}^n\binom{n}k\sum_{j=1}^{k/2}\binom{k}{2j}\frac{(2j)!}{j!}$$
and
$$b(n)=\sum_{k=0}^n\binom{n}k^2k!$$
QUESTION. Is this true?
$$\frac{a(n)}{b(n)}\...
- 109k
5
votes
1
answer
359
views
Estimate of the difference quotients in terms of an $L^{1,\infty}$ function
Let $f \colon \mathbb R^d \to \mathbb R$ be a measurable function. Consider the following property:
(P) there exist a negligible set $N \subset \mathbb R^d$ and function $T_f \in L^p(\mathbb R^d)$ ...
- 28k
6
votes
3
answers
524
views
Reference Request - Recovering a function from its definite integrals (inverse problem)
I'm having a difficult time finding any theory on an inverse problem I've come up against. Let's say I have an unknown function $f:[0,1] \rightarrow \mathbb{R}$, and I know $\int_{a}^{b} f$ for some ...
- 12.7k
4
votes
1
answer
336
views
Binomial Distributions and Inequality
Suppose $c>2$ is a real number, and $x$ solves equation $f(\frac{1}{2}+x,m,2m)=(2m+1)cx$ for some $m>0$ integer number, where $f$ is probability mass function for binomial distribution, with ...
- 128k
7
votes
0
answers
420
views
A discontinuous construction
Suppose we have an uncountable family of functions $f_r: [0, 1] \to R$ indexed by $r \in [0, 1]$ such that for each $r$, there exists a unique $x$ in $[0, 1]$ such that $f_{r}$ is positive on $x$ and $...
- 1,277
3
votes
1
answer
212
views
Eigenvalue estimates for operator perturbations
I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.
What was behind ...
- 536
3
votes
1
answer
287
views
Corollary of the Malgrange Preparation Theorem
(This question was previously posted on MSE and I decided to post it here too.)
Let $f:\mathbb{R}\times \mathbb{R}^n \to \mathbb{R}$ be a smooth function, such that
$$f(0,0)=0,\ \frac{\partial f}{\...
- 3,209
0
votes
1
answer
113
views
Inequality involving product-of-minus vs minus-of-product for positive integers
I'm encountering this inequality for dimensionality reduction problem. The simplified form looks as follows:
Consider positive integers $a_1$, $a_2$, $b_1$ and $b_2$ where $a_1>b_1$ and $a_2>...
- 63.9k
-1
votes
1
answer
83
views
On probabilistic extension for Bernstein polynomials
Suppose $X_m\sim p_m(x)$ is a discrete distribution on $[0,1]$ where the value takes multipliers of $\frac{1}{m}$ (e.g., $p_m(x=\frac{k}{m})=\frac{1}{m+1})$. Suppose $p(x)=\lim\limits_{m\rightarrow\...
- 29.8k
4
votes
3
answers
200
views
A Riccati type integral inequality
Let $x(t),t\in [1,\infty)$ be a nondecreasing positive function satisfying the following inequality:
$$
x'(t) \le \int_t^{+\infty} x(s)\frac{k(s)}{s^2}\,ds,
$$
for any $t \ge 1$, where $k(t),t\in [1,\...
- 39.1k
1
vote
1
answer
2k
views
Expansion of an integral
I have an integral of the form
$$ I=\int_0^{\infty}{dx}\ln \bigg(1+\exp(-\frac{f(x)}{a})\bigg) $$ where $a$ is a positive constant and $f(x)$ is a regular and positive function such that $I$ is finite ...
- 188k
24
votes
3
answers
6k
views
Density of smooth functions under "Hölder metric"
This question came up when I was doing some reading into convolution squares of singular measures. Recall a function $f$ on the torus $T = [-1/2,1/2]$ is said to be $\alpha$-Hölder (for $0 < \alpha ...
- 28k
0
votes
1
answer
171
views
A functional equation in real analysis
For what function $u:[0,1]\rightarrow R$ with bounded derivative, such that $\forall p\in[0,1]$,
$\lim\limits_{n\rightarrow\infty}\sum\limits_{k=0}^n\binom{n}{k}p^k(1-p)^{n-k}u(\frac{k}{n})=u(p)$
...
- 34.7k
1
vote
0
answers
54
views
When does the multi-spectral radius coincide with the spectral radius of the sum of linear transformations?
Suppose that $X$ is a finite dimensional Hilbert space and
$A_{1},\dots,A_{r}:X\rightarrow X$ are linear transformations. Define the multi-spectral radius $\rho(A_{1},\dots,A_{r})$ to be
$$\limsup_{n\...
8
votes
2
answers
644
views
Given any sequence of interpolating nodes, can we find a continuous function $f$ whose interpolating polynomials doesn't converge to $f$ point-wise
Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
- 101
11
votes
3
answers
2k
views
Does anyone recognize this inequality?
In some paper the authors make use of the following inequality without further explanation: Let $x\in\mathbb{R}^n$ with $x_1\le\cdots\le x_n$ and $\alpha\in[0,1]^n$ with $\sum_{i=1}^n \alpha_i=N\in\{1,...
- 757
2
votes
0
answers
194
views
Shattering with sinusoids
Let $d \geq 2$ and $K$ some positive integer. Consider distinct points $\theta_1, \ldots, \theta_K\in \mathbb{T}^d$ and (not necessarily distinct) $z_1, \ldots, z_K \in \{-1,1\}$ such that $\sum\...
- 698
2
votes
1
answer
140
views
Must $q$ be analytic?
I have a continuous function $q:\mathbb{R}^+ \to \mathbb{R}^+$. An interesting property of this function is that
$$F(s) = \frac{e^{-q(s)}q(s+1)}{1-e^{s-q(s)}}$$
which also takes $\mathbb{R}^+ \to \...
- 328
15
votes
1
answer
904
views
Bijection $f: \mathbb R^n \to \mathbb R^n$ that maps connected onto connected sets must map closed connected onto closed connected sets?
Willie Wong asked here (MO) and here (MSE) very interesting question.
As he phrased it:
Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ ...
CommunityBot
- 1
2
votes
1
answer
544
views
Good UPPER bounds for $\log(\sum_{i=1}^n p_ie^{z_i})-\sum_{i=1}^np_iz_i$ where $(p_i)_i$ is a probability vector
Let $x=(z_1,\ldots,z_n)$ be real vector and $(p_1,\ldots,p_n)$ be a probability vector.
Question
$\log(\sum_{i=1}^n p_ie^{z_i})-\sum_{i=1}^np_iz_i \le ???$
Observation
This paper allows us to ...
- 4,529
4
votes
1
answer
788
views
What is the dual space of $L^p$(conservative vector fields on a bounded set)?
First, some background: I wanted to prove that, if $f$ is a measurable function such that $\nabla f\in L^p_\text{loc}(\mathbb R^n)$, then $f\in L^p_\text{loc}(\mathbb R^n)$, $p\in(1,\infty)$. This is ...
- 28k
3
votes
1
answer
133
views
A problem with sequences with composition of $\log$s
If $(a_n)_{n \ge 1}$ is a non-negative sequence s.t., $$\sum\limits_{n = c_k}^\infty \frac{a_n}{\log^{(k)} n} < \infty, \, \forall k \ge 1 \overset{?}{\implies} \sum\limits_{n \ge 1} a_n < \...
- 128k
3
votes
2
answers
265
views
Can one realize this as an ergodic process?
Consider the lattice $\mathbb Z^2$ and take iid random variables $Y_e$ on all edges $e$ of the graph.
We then define random variables $X_i:=\sum_{e \text{ adjacent to } i}Y_e.$
In other words: For ...
- 3,669
2
votes
1
answer
184
views
Why is this series summable?
Let $\delta, \epsilon \in \mathbb{R}$, $\delta >0$, $\epsilon >0$.
Let $\{ a_k\}^\infty$,$\{ b_k\}^\infty$ be sequences of positive integers such that
$\lim \sup_{k \rightarrow \infty} \frac{...
- 128k
3
votes
1
answer
2k
views
When is the matrix norm multiplicative
Let $|| = ||_{p,q}$ be an operator norm on $\mathbb R^{n \times m}$. In General, $\|AB\|\le \|A\|\|B\|$. Is there some criterion on $A, B$ (at least for some operator norms) so that $\|AB\| = \lVert ...
- 52.4k
4
votes
1
answer
173
views
Graphs that are not $\mathbb{R}^2$-realizable
We say that a finite, simple, undirected graph $G=(V,E)$ is $\mathbb{R}^2$-realizable if there is an injective map $\varphi:V\to \mathbb{R}^2$ such that for $v\neq w \in V$ we have $\{v,w\} \in E$ if ...
- 18.6k
2
votes
1
answer
305
views
Logarithmic and polynomial functions with two roots
This is a question that I came across a few days ago，Although it is not particularly like a research problem, the following problem is that I study the zero distribution of a class of elementary ...
- 63.9k
8
votes
2
answers
753
views
Patching together homeomorphisms: how badly can it fail?
Suppose we have a set $X$ with $X=U \cup V$. If we pick a permutation $f$ of $U$ and a permutation $g$ of $V$ which agree on the intersection $U \cap V$, we can coalesce them into one big endo-map $F$ ...
- 2,821
10
votes
0
answers
172
views
Maximizing an integral w.r.t. a measure on the unit sphere
I would like to know if the answer to the following question is known.
Let $d \ge 3$. What is the value of
$$
\theta(d) := \max_{\mu} \int_{S^{d-1}} \int_{S^{d-1}} \cdots \int_{S^{d-1}} |x_1 \...
- 28k
3
votes
0
answers
55
views
system of Euler like ode's
I am interested in solving some linear elliptic system like
$$ -\Delta \phi(x) + \frac{C_1 \psi(x)}{|x|^\beta} =f(x)$$
$$ -\Delta \psi(x) + \frac{C_2 \phi(x)}{|x|^\alpha} =g(x)$$ in $B_1$ (the ...
- 1,385
1
vote
0
answers
64
views
Regularity of superposition operator generated by function between Banach spaces
Let $E$, $F$ be Banach spaces, $D$ be open in $E$, and $K=[0,1]$. Given $\varphi\colon K\times D\to F$ I call
$$
\varphi^\sharp\colon D^K\to F^K,\quad u\mapsto \varphi(\cdot,u(\cdot))
$$
the ...
- 121