All Questions
5,848 questions
3
votes
1
answer
212
views
$\nabla \times (F\times \mathbf v)=g$, $\operatorname{div}(\mathbf v)=0$
I want to solve the equation:
$$
\begin{cases}
\nabla \times (F\times\mathbf v)=g, \\
\operatorname{div}(\mathbf v)=0,
\end{cases}\label{1}\tag{1}
$$ where $F$ and $g$ are given vector fields. The ...
- 617
0
votes
2
answers
364
views
Can one show $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the ...
- 178
2
votes
1
answer
93
views
Reference needed: estimate of the second order derivatives
In $\mathbb{R}^d$ there is estimate (see 1.3, Chapter III of E.M.Stein' book Singular Integrals and Differentiability Properties of Functions)
$$\left\|\frac{\partial^2 f}{\partial x_i \partial x_j} \...
6
votes
1
answer
568
views
Can one show that $|\zeta'(x) / \zeta^2(x)| \leq 1/(x-.5)$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{\zeta'(x)}{\zeta^2(x)}\right|\leq \frac{1}{x-\frac{1}{2}}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the inequality and got this inequality ...
- 178
4
votes
1
answer
256
views
Approximating an $L^1$ function with Riemann sums
Note: Here all functions are genuine functions, i.e. pointwise defined measurable functions instead of defined only a.e.
Let $f: [0, 1] \to \mathbb R$ be an arbitrary $L^1$ function. Of course, $f$ is ...
- 6,155
1
vote
1
answer
112
views
Bounding a Riemann sum by its integral limit?
Let $M_{n}(\mathbb{C})$ denote the space of complex $n \times n$ matrices and, for $a>0$, $a \in \mathbb{R}$ fixed, let $A: [0,a) \to M_{n}(\mathbb{C})$ be a given function. I will write $A(t) = (...
6
votes
2
answers
772
views
Finiteness of an integral
In a paper I am reading, the following seems to be claimed:
Let $f:[0,\infty)\to [2,\infty)$ be a continuous, monotonically increasing function with $\lim_{x\to\infty}f(x)=\infty$ and let $\alpha>3/...
- 460
4
votes
1
answer
119
views
Proving Equal Set Sizes in Sequential Point Selection on a Real Interval with Variable-Length Intervals
I'm here as an engineer working on a point sampling algorithm and I've noticed that when I perform the algorithm on an ordered set of points in one direction it selects the exact same number of points ...
- 151
7
votes
2
answers
331
views
Does every subset of $\mathbb N$ with full natural density contain arbitrarily long geometric progressions?
We use the standard definition of natural density. We say a subset of $\mathbb N$ has full natural density if it has natural density $1$.
Question: Does every subset of the naturals with full natural ...
- 6,155
0
votes
0
answers
57
views
Double-periodic functions with (possible) poles
Consider the set of double-periodic function $f:\mathbb C/(\mathbb Z+i \mathbb Z) \setminus \{z_0\} \to \mathbb C$, where $z_0$ is a fixed point inside $\mathbb C/(\mathbb Z+i \mathbb Z),$ that have a ...
1
vote
0
answers
45
views
Existence of optimal entropic weights for empirical modeling
Let $\mathcal{X} = [0,1]^n$ be the input space and $\mathcal{Y} = \{1, ..., n_c\}$ be a discrete output space. Let $D = \{(x_i, y_i)\}_{i=1}^N \subset \mathcal{X} \times \mathcal{Y}$ be a training ...
- 111
0
votes
0
answers
68
views
Family of separable Hilbert spaces over locally compact form a continuous field of Hilbert space?
Let $\{H_{x}\}_{x\in G^{0}}$ be a family of separable Hilbert spaces and $G^{0}$ be a locally compact second countable topological space. Let $\mathbb{B}_{x}$ be the orthonormal basis of $H_{x}$.
If ...
2
votes
0
answers
116
views
Existence of a sequence of real numbers
Let
$$g_{c;k}(z):=\frac{2 (c-z-1)^{k+2}}{(k+1) (k+2)}+\frac{1}{2} (-c+z+2)^2 z^k+\frac{-2 c (k+2)+4 k+6}{(k+1) (k+2)}+\frac{2z}{k+1}.$$
Do there exist $c\in(1,3/2)$ and a sequence $(a_k)_{k=0}^\infty$ ...
- 128k
10
votes
0
answers
287
views
Coefficients of polynomials vs trigonometric product
Let's consider the family of sequences of coefficients in the expansion
$$\prod_{i=0}^{n-1}(1+x^{3^i}+x^{3^{i+1}})=\sum_{k\geq0}a_n(k)\, x^k.$$
Remark. Evidently, the RHS is a finite sum.
Here is a ...
- 43.2k
0
votes
1
answer
57
views
Lower bounding an alternating series with signs from a martingale difference sequence
Let $\epsilon_n \in \{-1, 1\}$ be a martingale difference sequence, in the sense that
$$M_n := \sum_{i = 0}^n \epsilon_i$$
is a martingale.
We assume $\epsilon_0 = \pm 1$ with probability $\frac{1}{2}$...
- 6,155
0
votes
1
answer
97
views
Numerically bounding a Exponential-Trigonometric Integral [closed]
I am having some trouble with this (undergrad) problem. The Twitter account I found this from was deleted so I unfortunately have not found an answer.
I have tried decomposing into Riemann sum and ...
- 13
5
votes
1
answer
256
views
Does a special property hold if the Archimedean property for reals doesn't hold?
Suppose $\mathbb{R}^e=A \cup B$ in which $A \cap B=\varnothing$ and there exist real numbers $a_0$ and $b_0$ such that $a_0 \in A$ and $b_0 \in B$. My question is, can we construct $a \in A$ and $b \...
3
votes
1
answer
227
views
"Essential values" of a function at a point?
Recall that the essential range $\operatorname{ess.im} f$ of a measurable function $f \in L^\infty(\mathbb{R})$ is a compact set. Denote by $f_k$ the restriction of $f$ to the interval $[-1/k,1/k]$, ...
- 981
3
votes
1
answer
220
views
What we know about the function in Fefferman's Theorem
In Fefferman's many papers on Whitney's theorem he, amongst other things, constructs the existence of a smooth function $F$ which extends a function $f$ on a (say) finite set $E\subseteq \mathbb{R}^n$ ...
- 5,405
2
votes
2
answers
154
views
Closure of $C([0,1]^2)$ via weak*-topology [closed]
Let $C([0,1]^2)$ denote the set of continuous functions on $[0,1]^2$. Let $L^1([0,1]^2)$ be the set of all Lebesgue integrable functions on $[0,1]^2$.
The dual space of $C([0,1]^2)$, denoted by $C^*([...
- 349
4
votes
1
answer
297
views
Oscillation of monotone real-analytic function
Let $f:(a,\infty)\rightarrow \mathbb{R}$ be a real-analytic and strictly monotone function. I have been wondering how much this function can "oscillate". Namely, can we always find a ...
- 1,045
1
vote
1
answer
124
views
$d(x,y) = \min\{|x_1−y_1|+|x_2−y_2|, 1−|x_1−y_1|+|x_2−(1−y_2)|\}$ defines a metric on $[0,1)\times[0,1]$? [closed]
For $x,y \in [0,1)\times[0,1]$, let $d(x,y)$ be the minimum of $|x_1−y_1|+|x_2−y_2|$ and $1−|x_1−y_1|+|x_2−(1−y_2)|$. Prove or disprove that $d$ is a metric.
I was unable to find a counterexample to ...
- 21
4
votes
1
answer
214
views
Characterisation of Sobolev spaces using their Lipschitz approximations
Let $f \in W^{1, p} (\mathbb R^n)$. A classical approximation theorem (see for instance, the book by Evans and Gariepy) says that we can approximate $f$ by Lipschitz functions, in the sense that for ...
- 6,155
3
votes
0
answers
100
views
How to compute the partial derivatives of this function?
For any probability measure $\mu$ on $\mathbb R^2$ and $\theta\in [0,2\pi]$, denote by $\mu_\theta$ its projection along $v:=(\cos\theta,\sin\theta)$. Namely, if $X$ is a random variable distributed ...
- 1,389
1
vote
1
answer
157
views
Is finding the CDF from the Laplace transform well-posed?
In my study of Dynamic Light Scattering, I came across the following inverse problem. Let $F(s):[0,T]\rightarrow[0,T]$ be the Laplace transform of a probability distribution $f(t)$ on the real line ...
- 654
6
votes
1
answer
194
views
The most even partition of $\mathbb R$ into measure dense sets
Notation: $\mu$ denotes the Lebesgue measure. Let $\mathcal D$ be the set of Lebesgue measurable subsets of $\mathbb R$ such that itself and its complement have nonzero Lebesgue measure in every ...
- 6,155
3
votes
1
answer
344
views
Asymptotic behavior of a recursion
Let $x_n(0)=1$,
$$
x_n(N+1) = \frac{1}{N+1}\sum_{k=0}^N \sum_{j=1}^n x_j(k)x_{n+1-j}(N-k) + \frac{10}{N+1} x_{n+1}(N) , \quad\quad N\ge 0 .
$$
So the recursion is on $N$, and at each level, we compute ...
- 24.2k
2
votes
0
answers
189
views
Smoothing property of the heat kernel on the one-dimensional torus
Let $G=G(x,t)$ be the heat kernel on the one-dimensional torus $\mathbb{T}^1,$ with $x \in \mathbb{T}^1$ and $t \in (0,T].$ $G$ is given by \begin{equation}
G(x,t) = (4 \pi t)^{-1/2} \sum_{k \in \...
- 185
2
votes
1
answer
149
views
Proof that superlinearly convergent sequence converges faster than linearly convergent sequence
Given real sequences $(a_n)_{n\in\mathbb{N}}$ and $(b_n)_{n\in\mathbb{N}}$, both converging to the same limit $A$ and such that $|a_n-A|\neq 0$ and $|b_n-A|\neq 0$ for every $n$ sufficiently large, we ...
- 131
1
vote
0
answers
60
views
Behaviour of the solutions of parametrized multivariable non-linear (non polynomial) system of equations
The following problem arose out of a research problem. Let us consider the $n \times n$ matrix valued function $[x_{i,j}(p)]$ (of $p$), satisfying
$$ \sum_j x_{i,j}(p) x_{k,j}(p)|x_{k,j}(p)|^{p}= \...
- 745
3
votes
2
answers
118
views
Does the derivative of the antiderivative of a BV function $f$ agree with $f$ at all but countably many points of differentiability?
Let $f: (a, b) \to \mathbb R$ be a function of bounded variation, and write
$$F(x) := \int_a^x f(t) \, dt$$
for the antiderivative. Is it true that at all but countably points of differentiability of $...
- 6,155
3
votes
1
answer
247
views
Is the derivative of a Lipschitz function continuous a.e.?
Let $f:(a,b) \to \mathbb R$ be Lipschitz.
The derivative $f'$ exists on some set $D \subset (a,b)$ of full measure and is bounded (by Rademacher).
Is $f'$ continuous (or some representative) on the ...
0
votes
1
answer
231
views
Questions on the compactness of $L_1([0,1]^2)$'s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$ and $f(x,y)\geq 0: a.e. (x,y)\in [0,1]^2$. Recently in my study I need to study the compactness of $U$. By Riesz's theorem ...
- 349
2
votes
1
answer
276
views
Estimating a sum over set partitions
Let $[n]:=\{1,\dots,n\}$. Fix a set partition $\rho$ of $[n]$, with an abuse of notation we shall use $\rho\vdash [n]$.
I would like to estimate the following alternating sum.
QUESTION. Is this true?
...
- 43.2k
0
votes
1
answer
101
views
Limit sequence of regular function in $L_1$‘s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$. For any $f\in U$, we say it is regular if $\int_{x_0\times [0,1]}f=\int_{[0,1]\times y_0}f=1$ for a.e. every $x_0, y_0\in [...
- 349
3
votes
1
answer
309
views
Extremizing sequence consists of two elements
Let $\mathcal A_{s}$ be the set of sequences $X=(x_m)_{m \in I}$ where $I=\{1,2,...,n\}$ with $n \ge 2$ and possibly $n =\infty$ is an index set with $x_1=0$, $x_2=s>0$ and $x_m>x_{m-1}$ for $m,...
5
votes
0
answers
156
views
What is the Hausdorff dimension of the set on which this exponential sum is bounded?
This is a direct follow up to For which rationals is this exponential sum bounded?
Given $x \in [0, 1]$, we denote by $e(x)$ the complex number $e^{2 \pi i x}$.
What is the Hausdorff dimension of the ...
- 6,155
4
votes
1
answer
204
views
Stationary phase formula for a complex valued phase
I'd be interested in computing an asymptotic expansion when $h \rightarrow 0$, of an integral of the form
$$
I_h = \int_{\mathbb{R}}{e^{\frac{i}{h}\varphi(x)}dx}
$$
where $\varphi : \mathbb{R} \...
- 2,696
5
votes
2
answers
372
views
Weak Archimedean property instead of Archimedean property
We say that a sequence $(z_n)$ of real numbers is a modulated Cauchy sequence, whenever there exists a function $\alpha:\mathbb{N} \rightarrow \mathbb{N}$ such that:
$$
|z_i-z_j| \le \frac{1}{k} \quad ...
0
votes
0
answers
121
views
Is there a good or commonly accepted short notation for the set of differentiable, but not necessarily continuously differentiable maps?
Every once in a while I find myself in need of some short notation for the set of differentiable, but not continuously differentiable maps, say, $X \to Y$. Always having to specify "...
- 7,127
12
votes
2
answers
866
views
Sets that project to zero measure on all lines except one
It is a (difficult) exercise to show that there exists a measurable set $E \subset [0,1]^2$ (necessarily with zero 2-dimensional Lebesgue measure) such that the projection on every line passing ...
- 355
-1
votes
1
answer
167
views
Space of distributions on $[0,1]^2$: weakly compact or not?
Let $X_1,X_2$ be distributions on $[0,1]$ and let $X=(X_1,X_2)$ be the joint distribution of $X_1,X_2$. Let $\mathcal{X}$ be the set of all such joint distribution $X$.
Question 1: Does $\mathcal{X}$ ...
- 349
8
votes
1
answer
342
views
How large can the set of turbulent points be?
This question resisted attempts on MSE.
Let $E \subset \mathbb R^n$ be a Lebesgue measurable set. We say that $x \in \mathbb R^n$ is a turbulent point of E if both the following conditions hold:
$$\...
- 6,155
1
vote
1
answer
50
views
Increasing function of $\theta$ for the Ali-Mikhail-Haq Survival Copula
I have been trying to solve the following function is non-increasing (non-decreasing) with respect $\theta$ where $\theta \in (0,1)$ (resp. $\theta \in (-1,0)$)
\begin{equation}
f(\theta)= \frac{h(t,\...
- 23
1
vote
1
answer
330
views
Does $\sum_{n=1}^{\infty}\frac{(-1)^n e^{\sin{n}}}{\sqrt{n}}$ converge?
I am trying to study the converge of the series
$$\sum_{n=1}^{\infty}\frac{(-1)^n e^{\sin{n}}}{\sqrt{n}}$$
But $e^{\sin{n}}$ is not monotone, and the Abel's test rule fails here. Can someone help me? ...
- 287
5
votes
0
answers
285
views
How do you go about making ranges (for integer variables) independent?
Basic question: say you have a sum
$$\sum_{n_1 n_2 \dotsb n_k \leq x} f(n_1,\dotsc,n_k),$$
where $f$ decomposes in some sense (say: $f(n_1,\dotsc,n_k) = g(n_1) + \dotsb + g(n_k)$, or $f(n_1,\dotsc,n_k)...
- 20.2k
1
vote
2
answers
102
views
About the recursive inequality $w_p \geq (1-\frac {\pi}n)w_{p-2n} + 2\pi + o(1)$
Suppose we have a non-decreasing sequence of positive real numbers that tend to infinity: $0<w_1\leq w_2\leq w_3\leq...$ It is known that:
For every $n$ and $p\geq 2n$, we have $w_p \geq (1-\frac {...
- 525
0
votes
1
answer
139
views
Proving negativeness of function involving $-\log t$
I have been trying to solve the following function is non-increasing with respect $\theta$
\begin{equation}
h(t,\beta) = \frac{1-t-\frac{\beta(-\log t)^{\theta}}{\theta(-\log \beta)^{\theta -1}}}{1-\...
- 23
2
votes
0
answers
99
views
Closed form for $\int_0^{+\infty} \ln^p(t) \frac{\sin^q(t)}{t^r}dt$
Do you know if there exists a closed form for the integral :
$$I_{p,q,r} = \int_0^{+ \infty} \ln^p(t) \frac{ \sin^q (t)}{t^r} dt$$
where $p$, $q$, $r$ are natural integers such as this integral ...
- 69
0
votes
0
answers
73
views
An example of a groupoid that satisfy the following hypothesis
In the paper titled, 'Tannaka–Krein duality for compact groupoids I, Representation theory', the author proves the Peter Weyl theorem on compact groupoids. In the statement, he gives the hypothesis ...