All Questions
5,633 questions
1
vote
0
answers
58
views
Cardinality of maximal elements in terms of set-theoretic inclusion in the space $c_0(\mathbb{N})$
Let $c_0(\mathbb{N})$ be the space of real-valued sequences converging to zero.
Here, each element $\{\alpha_n\} \in c_0(\mathbb{N})$ itself is a "set", so that we can think about set-...
- 3,477
3
votes
1
answer
162
views
If $f : [0,1] \to H$ has $t$-derivative with respect to the norm of $H$, and $H=L^2[0,1]$ itself, does the $t$-derivative exist in ordinary sense?
The question is as in the title.
Let $H$ be a separable Hilbert space and $f : [0,1] \to H$ be a continuous mapping such that
\begin{equation}
f'(t):=\lim\limits_{\alpha \to 0} \frac{f(t+\alpha)-f(t)}{...
- 3,477
2
votes
4
answers
742
views
Is the hypergeometric function ${}_1F_2(1;a,a+\frac12;-x^2)$ an elementary function? How about its positivity, monotonicity, and convexity in $x$?
Is the generalized hypergeometric function ${}_1F_2\bigl(1;a,a+\frac12;-x^2\bigr)$ for $a>-1$ and $x>0$ an elementary function?
How about the positivity, monotonicity, and convexity of the ...
- 1,101
1
vote
0
answers
68
views
Hilbert like transform on the circle
Suppose that $u $ is a smooth function real valued function defined on an open neighborhood of the unit disc $ \mathbb{D} $, which satisfies a second order elliptic partial differential equation;
\...
1
vote
1
answer
93
views
Is there $f$ such that $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(Ct, x)$ for all $t>0$ and $x \in \mathbb R^d$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 657
2
votes
0
answers
128
views
Making a continuous function into embedding by adding additional dimension
While doing my researches, I encountered the following problem.
Let $f:[0,1]^n\rightarrow \mathbb{R}^{n+k}$ be an arbitrary continuous function.
I want to make this function an embedding by perturbing ...
- 173
2
votes
1
answer
288
views
How to estimate an integral by the variation and upper bound of the integrand?
Suppose that $f$ is a continuous function on $\mathbb{R}$. I want to estimate the definite integral
$$ I:= \int_{0}^a [f(x)-f(0)]dx $$
by the upper bound $M = \sup_{x\in[0,a]}|f(x)|$ and the variation ...
- 419
2
votes
1
answer
181
views
Matrix function as gradient
Let $S_n^{++}(\mathbb{R})$ be the space of $n \times n$ symmetric positive definite matrices. For $M \in S_n^{++}(\mathbb{R})$ consider the function $f: X \in S_n^{++}(\mathbb{R}) \mapsto M X^{-1} M$.
...
- 407
3
votes
1
answer
96
views
Let $g$ be the heat kernel. Are there constants $C_1, C_2>0$ such that $\frac{g(t_1, \cdot)}{t_1} \le C_1 \frac{g(C_2 t_2, \cdot)}{\sqrt{t_2}}$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Let $0 < t_1 < t_2 &...
- 657
1
vote
1
answer
191
views
Will this "tree" cover all rational numbers in a range?
Question
I am making a tree using the following two functions:
$$f(x)=\frac{x}{r},\quad g(x)=\frac{x+b}{r}$$
where $1<r<2$ and $0<b$ are rationals. Everything is a real number here.
The ...
- 433
0
votes
1
answer
98
views
Estimating the bound of the integral over whole $\mathbb{R}$ of the Taylor remainder term?
Let $f : \mathbb{R} \to \mathbb{R}$ be a smooth function which has a smooth inverse and satisfies the estimate
\begin{equation}
\lvert f(x) \rvert \leq \lvert x \rvert.
\end{equation}
Also, let $d\mu$ ...
- 3,477
0
votes
2
answers
319
views
Representation of continuous, monotone, concave functions
Is there a characterization of all continuous functions $f:\mathbb{R}\rightarrow \mathbb{R}$ satisfying:
$f(0)=0$
$f$ is monotonically increasing
$f$ is concave
My intuition is that $f$ should admit ...
- 5,405
3
votes
1
answer
185
views
Uniformly closed ideals of smooth/real analytic functions
Consider $U\subseteq \mathbb{R}^n$ an open subset and denote by $R$ either the algebra of real-valued smooth or real analytic functions on $U$. In either case suppose that $R$ is equipped with the ...
- 513
2
votes
1
answer
161
views
Smooth approximation of nonnegative, nondecreasing, concave functions
Let $f\colon [0, \infty)\to\mathbb{R}$ be nonnegative, nondecreasing, and concave. Prove the following claim or give a counter example: There is a sequence of functions $f_n\colon [0, \infty)\to\...
- 63
4
votes
1
answer
253
views
The number of roots of the sum of radicals
Let $n\in \mathbb{N}$ and $$-\infty < a_1 < b_1 < a_2 < b_2 < a_3 < b_3<\cdots<a_n<b_n<+\infty$$ and $k_i\in \mathbb{R}, i=1,2,\ldots,n$. Is there any information about ...
- 89
3
votes
0
answers
454
views
Surprisingly difficult limit of a sequence
Is there an easy way to prove that $|\operatorname{Re}(a_n)| \to \infty$ where $a_n=\left(\frac{1}{2}+i\frac{\sqrt{7}}{2}\right)^n$?
Of course $|a_n| \to \infty$, but we have
$$
\operatorname{Re}(a_n)=...
- 489
3
votes
2
answers
348
views
Subdifferential of a convex function admits a continuous selection
Let $F$ be a continuous convex function on $\mathbb{R}^n$.
If the subdifferential $\partial F(x)$ of $F(x)$ admits a continuous selection, for every $x \in \mathbb{R}^n$, does it mean that $F$ is ...
- 33
9
votes
1
answer
764
views
Does the family of fat Cantor sets contain a measurable rectangle?
Let $S \subset (0, \frac{1}{3}) \times [0, 1]$, be the set such that for each $0 < t < \frac{1}{3}$, $S \cap (\{ t \} \times [0, 1])$ is the standard Smith-Volterra Cantor set of parameter $t$.
...
- 6,223
2
votes
1
answer
433
views
Stone-Weierstrass theorem: coefficients of approximating sequence bounded?
Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a subalgebra of $C(X;\mathbb{R})$.
The Stone-Weierstrass theorem asserts that if $\mathcal{A}$ contains the constants and separates the points ...
- 463
2
votes
1
answer
106
views
Submodularity of a particular function derived from a convex function?
Consider a convex function $f : \mathbb{R}^d \to \mathbb{R}$. Define now the set-input function $g_f : 2^{[d]} \to \mathbb{R}$ as follows,
\begin{align}
g_f(S) = \min \left\{ f(x) : x \in \mathbb{R}^d ...
- 297
7
votes
0
answers
270
views
Can you identify this irrational number?
There is a certain number, say $v$. I can prove it is irrational. That would be more interesting if it is expressible in terms of known values ... zeta functions, Catalan's number, L-functions, etc. ...
- 41.1k
0
votes
0
answers
48
views
On $[0,1]$ with the Lesbegue measure, is it possible to have $\lVert \cdot \rVert^{1/n}_p \leq \lVert \cdot \rVert_q$ for $p>q$ and $n$ large?
The question is as in the above.
In all literature, I only find that on $[0,1]$ with the Lebesgue measure, $\lVert \cdot \rVert_q \leq \lVert \cdot \rVert_p$ for $p>q$.
(I deleted the last question ...
- 3,477
4
votes
1
answer
256
views
If a function $f$ is $\varepsilon$-times Lebesgue differentiable, is $f$ continuous?
Let $f: \mathbb R^n \to \mathbb R$ be a locally integrable function. Given an $\varepsilon > 0$, we say $f$ is $\varepsilon$-times Lebesgue differentiable if
$$\lim_{r \to 0} \frac{\int_{B_r (x)} |...
- 6,223
9
votes
1
answer
378
views
Does “on average” Hölder continuity imply Hölder continuity?
Let $\Omega$ be a smooth, bounded, connected open subset of $\mathbb R^n$.
A function $f: \Omega \to \mathbb R$ is said to be Hölder continuous on average of order $\alpha$, for $0 < \alpha < 1$ ...
- 6,223
3
votes
0
answers
118
views
If $\frac{\partial f}{\partial t}(x,t)$ exists a.e and $\frac{\partial^2 f}{\partial t \,\partial x }$ is continuous, can we improve a.e existence?
The question is as in the title.
Let $f(t,x) : [0,1]^2 \to \mathbb{R}$ be a function which is $C^\infty$ w.r.t $x$ for each fixed $t$ and whose derivatives w.r.t $x$ are all absolutely continuous w.r....
- 3,477
3
votes
3
answers
530
views
Proof of the inequality $\frac{y}{x}-1-\log\left(\frac{y}{x}\right)\geq \frac{1}{2}\frac{(x-y)^2}{x}$ when $x,y \in (0,1]$
I am trying to prove the following inequality:
$$\frac{y}{x}-1-\log\left(\frac{y}{x}\right)\geq \frac{1}{2}\frac{(x-y)^2}{x} \quad \forall x,y \in (0,1]$$
The statement looks simple enough that it may ...
- 135
1
vote
0
answers
64
views
Variation of the fractional derivatives
$\DeclareMathOperator\AC{AC}\DeclareMathOperator\Lip{Lip}$Suppose we have $f\in L^1(\mathbb{R})\cap \AC(\mathbb{R})\cap \Lip(\mathbb{R})$ and $f$ piecewise linear function, bounded and $|f|\leqslant \...
- 89
3
votes
2
answers
203
views
Recovering a set from its projections in varying coordinate systems - a projection hull?
Let me describe the simplest non-trivial case of what I have in mind. Let $V$ be a 2-dimensional $\mathbb{R}$-vector space and fix an isomorphism $V \cong \mathbb{R}^2$, where $\mathbb{R}^2$ is ...
- 7,127
1
vote
1
answer
131
views
A generalized form of the approximation to identity?
This question is an extension of the one I posted on ME: https://math.stackexchange.com/questions/4701500/if-alpha-nx-int-lvert-x-y-rvert-leq-1-n-lvert-x-y-rvert2-d-muy
It might be elementary for here,...
- 3,477
9
votes
0
answers
522
views
Does the intersection of middle third and middle half Cantor sets contain an irrational number?
Let $C_\frac{1}{3}$ be the middle third Cantor set, that is, the set of real numbers in the interval $[0,1]$ which can be written in base $3$ using only digits $0$ and $2$.
Likewise let $C_\frac{1}{2}$...
- 2,934
14
votes
1
answer
417
views
Lipschitz property of the determinant
$\newcommand{\A}{\mathcal A}\newcommand{\Tr}{\operatorname{tr}}$For $c$ and $C$ such that $0<c<C<\infty$, let $\A_{d;c,C}$ denote the set of all symmetric positive-definite real $d\times d$ ...
- 128k
2
votes
0
answers
175
views
Banach space of vector measures
Let $S$ be a set and $\Sigma$ be a $\sigma$-algebra of subsets of $S$. Let $A$ be a Banach space over the field of complex numbers. A countably additive map $\mu:\Sigma\to A$ is called a vector ...
- 552
8
votes
1
answer
688
views
Measure without measurable sets
This question is a little on the softer and speculative side, so bear with me.
Usually a measurable space is $(\Omega, \Sigma)$, a set $\Omega$ and sigma algebra $\Sigma$ of subsets. A measurable ...
- 3,574
1
vote
1
answer
160
views
On an integral equation
Let $B: C^{\infty}([0,1]^3)$ satisfy
$$B(t,t,x)=0 \quad \text{for all $t,x \in [0,1]$.}$$
Let $f \in C^{\infty}([0,1]^2)$ satisfy the following integral equation:
$$ \int_0^1 f(t,x)\,dx + \int_0^t\...
- 4,153
4
votes
1
answer
425
views
An exercise on log-concave random variable on the real line
Let $X$ be a real random variable with log-concave density $f$. Assume that $E(X) =0$ and $E(X^2)=1$.
Show that there is a universal (independent of $X$) constant $c>0$ such that:
$$P(X\in[-1/2;0])\...
- 245
6
votes
1
answer
300
views
Log-convexity of determinant
Let $f(z):=\langle g(z),g(z)\rangle,$ where $z \mapsto g(z)$ is holomorphic and $\langle \bullet,\bullet\rangle$ is an inner-product on some function space, such as $L^2$, such that $\langle g(z),g(z)\...
1
vote
0
answers
108
views
Existence of a smooth extension
In the three dimensional Euclidean space $\mathbb R^3$ let us define the hypersurface
$$ S= \{(x,y,z) \in \mathbb R^3\,:\, z^2= x^2+y^2\}.$$
Suppose that $f \in C^{\infty}(S)$. Does there exist $u\in ...
- 4,153
0
votes
0
answers
75
views
Morse functions on subset $\bar \Omega$ of $\mathbb {R}^d$ and its level sets
Let $f$ be a $C^{2}(\bar{\Omega})$ Morse function, where $\Omega$ is a bounded open set of $\mathbb{R}^d$: this means that
$$
\begin{cases}
f(x) = 0 \\
\nabla f (x) \neq 0
\end{cases}\text{ on }\...
- 61
10
votes
2
answers
612
views
Proving the simple form of a function from statistical mechanics
I have discovered a pertinent solution to my problem in the article On the Kinetic Theory of Rarefied Gases by Harold Grad and the book Thermodynamik und Statistik by Arnold Sommerfeld, both of which ...
0
votes
0
answers
111
views
Sum power series not continuous unit circle
This is (probably) not a research question and I already asked it on StackExchange but I got no answer over there.
Let us consider the sequence $(a_n)_{\geq 1} = \left(\frac{\cos(2\sqrt{2n}+\frac{\pi}{...
- 7,300
2
votes
0
answers
118
views
Inequality for log-likelihood ratio
Let $ p, q $ be two probability densities on $ [0,1] $, strictly positive over $ (0,1) $. Let $ P $ be the cumulative function of $ p $, i.e., $ P(x) = \int_0^x p(x') \, \mathrm{d}x' $, $ x \in [0,1] $...
- 503
3
votes
0
answers
65
views
Representation of Baire 1 functions
Upper semi-continuous functions on the reals are Baire 1, which is readily observed by considering
$$ f_{n}(x):= \sup_{y\in [0,1]}(f(y)- n |x-y| ) \qquad (A).$$
Indeed $f_n$ as in (A) is continuous ...
- 4,359
1
vote
1
answer
61
views
Pair of functions that vary in the same direction
Say we have 2 functions $f$ and $g$ such that:
$f(a)<f(b) \Leftrightarrow g(a)<g(b)\;\; \forall a,b \in \mathbb{R}^n$
Is there an accepted name for a couple of functions like these?
Is there a ...
- 13
0
votes
1
answer
154
views
Finite dimensionality of a subspace
Let $c>0$ and let $Y$ be the space of all distributions of compact support in $(-1,1)$ with singular support at $\{0\}$. Let $X$ be subspace of $Y$ such that for any $\phi \in X$ there holds:
$$ \...
- 4,153
11
votes
1
answer
1k
views
New method to compute square roots [closed]
In 2011 when I was in school I created a formula to calculate square roots... For $x\in\mathbb{R}$ with $x>0$ the following holds:
$$\sqrt{x} = \sum_{n=0}^{\infty}\frac{\left(\prod_{k=1}^{n}\left(\...
- 53
2
votes
2
answers
132
views
What are the bounds of $xy^{y^a/x^a} + yx^{x^a/y^a} - x^a - y^a$ for $0 \le x \le 1$ and $a > 0$?
Posting from MSE since it was unanswered in MSE.
Let $0 \le x,y \le 1$ and $a$ be a real and let
$$
f(x,y,a) = xy^{y^a/x^a} + yx^{x^a/y^a} - x^a - y^a \tag 1
$$
For a fixed $a$, the graph of the ...
- 5,470
2
votes
0
answers
203
views
Schrödinger representation of the Heisenberg group
Let $\Pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H^n=\Bbb C^n\times\Bbb R$. For $\phi\in L^2(\Bbb R^n)$, we have
$$\Pi_{\lambda} (x,y,t)\phi(\xi)=e^{i\lambda t} e^{...
- 531
0
votes
0
answers
101
views
Sobolev estimates on domain with boundary
Could someone point me to a reference for the proof of the following Sobolev estimate
$$
\|u\|_{L^{2 d /(d-2)}(\Omega)} \leqslant C(\|f\|_{L^{2 d /(d+2)}(\Omega)} + \|g\|_{(\partial\Omega)})
$$
for ...
- 61
2
votes
0
answers
56
views
Inequality for a weighted bilinear form in Fourier variables
Let $\phi:\Bbb R^d\setminus\{0\}\to [0,\infty)$ be a continuous and symmetric, i.e., $\phi(-\xi)=\phi(\xi)$. Let $F:\Bbb R\to[0,\infty)$ be increasing and $L-$Lipschitz with $F(0)=0$.
Consider the ...
- 1,101
0
votes
0
answers
107
views
$\log$-classes of irrationals
Let $\mathbb{N}$ denote the set of non-negative integers. For $A\subseteq \mathbb{N}$ we let the (upper) density of $A$ be defined by $d^+(A) = \lim\sup_{n\to\infty} \frac {|A\cap \{0,\ldots, n\}|}{n+...
- 48.9k