All Questions
7,280 questions
0
votes
1
answer
255
views
Carleson's theorem: proof of a lemma
I am reading the paper of Michael Lacey called "Carleson's theorem: proof, complements, variations" 1, on Carleson's theorem in Fourier analysis. At the bottom of page 20 at the beginning of ...
1
vote
1
answer
62
views
Integrability in the product space can follow from a property of the Nemytskii operator?
Let's say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$ is a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where ...
- 2,670
0
votes
0
answers
116
views
Integral of a measurable function with parameter is measurable?
Say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$, where $\Omega\subset\mathbb{R}^N$ is an open set, is a function such that:
$f(x,\cdot)\in L^1_{\text{loc}}(\mathbb{R})$ for a.a. $x\in\Omega$
$f(\...
- 12.9k
1
vote
0
answers
175
views
Solution of recurrence relation with summation
I have the following recurrence relation:
$$b(n,k)=\sum _{\text{i}=0}^{2 n-1} \left(b(n-1,k-\text{i})+\frac{\text{i} (2 n-\text{i}) \binom{2 n-1}{\text{i}} \binom{(n-2)^2}{k-\text{i}}}{2 n-1} \right)$$...
2
votes
1
answer
246
views
Ramsey type property of the Lipschitz constant
The following problem was proposed by Pietro Majer as an extension of an earlier question of mine on Lipschitz functions.
For $f$ a Lipschitz function on $\mathbb R^n$, we denote by
$$\text{Lip}(f, U) ...
- 60.5k
0
votes
0
answers
79
views
Is the Bures metric equivalent to the Euclidean one?
Let $K=\mathbb R$ (reall numbers) or $K=\mathbb C$ (complex numbers). Define $\mathcal M_n$ to be the space of $n\times n$ matrices $A=(a_{i,j})_{1\le i,j\le n}$, with $a_{i,j}\in K$. Let $\|\cdot\|$ ...
- 1,334
0
votes
0
answers
63
views
Arrangements of fixed $k$-polyplets in a $n\times n$ matrix
Recently, I asked a question about the number of arrangements of $k$ elements inside a $n\times n$ matrix with certain restrictions. The one I´m actually interested in for this question is in its 2. ...
- 12.9k
4
votes
1
answer
254
views
On the Lipschitz constant outside the stretch set
Let $f: \mathbb R^n \to \mathbb R^m$ be a Lipschitz map. We define the local Lipschitz constant $Lf$ of $f$ at $x \in \mathbb R^n$ by
$$Lf(x) := \lim_{r \to 0_+} \text{Lip}(f, B_r (x)),$$
where $\text{...
- 6,367
0
votes
0
answers
43
views
Absolute value of elements of b=Ax and the minimum singular value of A
For $b=Ax$, is there a way to relate the minimum absolute value of the element of $b$, $\min|b_i|$, and the minimum singular value, $\sigma_\text{min}$, of $A$?
What I want is something like: $\sigma_\...
- 12.9k
9
votes
1
answer
845
views
Convergence of sequences formed by orthocenters, incenters, and centroids in repeated triangle constructions
I asked this question on MSE here.
Given a scalene triangle $A_1B_1C_1$ , construct a triangle $A_{n+1}B_{n+1}C_{n+1}$ from the triangle $A_nB_nC_n$ where $A_{n+1}$ is the orthocenter of $A_nB_nC_n$, ...
- 541
5
votes
1
answer
279
views
Is there a theorem which provides conditions under which a power series satisfies the reciprocal root sum law?
Kalman - Six ways to sum a series discusses Euler's original proof for the Basel problem $\sum\limits_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6} $:
$$\frac{\sin(\sqrt x)}{\sqrt x} = 1- \frac{x}{3!}+ \...
- 91.8k
11
votes
2
answers
8k
views
About the Fourier transform of the logarithm function
I want to calculate / simplify:
$$\mathcal{F} (\ln(|x|)\mathcal{F(f)}(x))=\mathcal{F} (\ln(|x|)) \star f$$
where $\mathcal{F}$ is the Fourier transform ($\mathcal[f](\xi)=\int_{\mathbb R}f(x)e^{ix\...
- 201
1
vote
1
answer
60
views
Does Monotone (linear) convergence of iterates imply monotone (linear) convergence of function values?
I am considering a proof that would require a certain connection between convergence of iterates and corresponding function values: Consider an algorithm with iterates $\left\{{\mathbf{x}}^k\right\}_{...
- 12.9k
5
votes
1
answer
229
views
Intersection between Lipschitz domains
Let $\Omega\subset\mathbb{R}^N$ be an open, bounded and connected Lipschitz domain. Is it true that we can find some $R>0$ such that any $N$-dimensional open ball $B(x,r)$ with $r\leq R$ that ...
- 1,759
20
votes
6
answers
42k
views
Eigenvalues of symmetric tridiagonal matrices
Suppose I have the symmetric tridiagonal matrix:
$$ \begin{pmatrix}
a & b_{1} & 0 & ... & 0 \\\
b_{1} & a & b_{2} & \ddots & \vdots \\\
0 & b_{2} & a & \...
- 21
3
votes
0
answers
95
views
Is it true that p-integrable function can be written as a convolution of an integrable function and p-integrable function?
We know that convolution of an integrable function with an $p$-integrable is an $p$-integrable function. This follows from Young's inequality.
My question: Is it true that $L^p(\mathbb{R}^n)\subseteq ...
- 31
2
votes
0
answers
138
views
Sufficient initial conditions for "non-local" PDE
I am studying a problem of the form $$i\, \partial_t \psi(t) = L \psi(t) + \int_0^t U(t-r) \psi(r) \, dr, \qquad \psi(0) = \psi_0,$$ where the evolution occurs in some Hilbert space, $L$ is a self-...
- 63.9k
2
votes
1
answer
206
views
Deriving an inequality for the integral of maximum indicator functions under measure-preserving transformations
Let's denote the measure space by $(X, \mathcal{B}, \mu)$ and the measure-preserving transformation by $T: X \to X$. Let $A \in \mathcal{B}$ be a measurable set with $0 < \mu(A) < \infty$. Let $...
- 578
7
votes
1
answer
290
views
Equivalence of omniscience principles for natural numbers and analytic omniscience principles for Cauchy real numbers
In constructive mathematics, a proposition $P$ is decidable if $P \vee \neg P$, and a proposition is stable if $\neg \neg P \implies P$. We have the following principles of omniscience for the natural ...
- 32.5k
1
vote
1
answer
187
views
Bound the distance between two vectors on the probability simplex
Let $a,b$ be two vectors with strictly positive elements and $\delta = 1 - \frac{\langle a,b \rangle}{\|a\|\|b\|}$. Bound the following optimization problem as a function of $\delta$
$$\sup_{x>0} \...
CommunityBot
- 1
8
votes
0
answers
414
views
For $f$ Lipschitz with $|\nabla f| = 1$ a.e., what is the supremal Hausdorff dimension of the set on which $\varepsilon< |\nabla f| < 1-\varepsilon$?
Let $f$ be a Lipschitz function with $|\nabla f| = 1$ almost everywhere.
Let $\varepsilon \geq 0$. What is the supremal Hausdorff dimension of the set on which $f$ is differentiable with $\varepsilon &...
- 6,165
3
votes
1
answer
248
views
Can any function in $C^\alpha$ be approximated in $C^{\alpha^-}$ by singular functions?
For every positive $\alpha < 1$, we consider the space $C^{\alpha}$ of Holder continuous functions of order $\alpha$ on $[0, 1]$, equipped with the norm
$$\|f\|_{C^\alpha} := \sup|f| + \sup_{x, y \...
- 60.5k
0
votes
0
answers
66
views
convolution of the fundamental solution with the homogeneous solution
I have a question about the convolution of the fundamental solution with the homogeneous solution. Namely if the 2 are convoluble then the homogeneous solution is necessarily zero?
Let $U$ and $E$ ...
CommunityBot
- 1
6
votes
1
answer
413
views
Analyticity of $f*g$ with $f$ and $g$ smooth on $\mathbb{R}$ and analytic on $\mathbb{R}^*$
Suppose that we have two real functions $f$ and $g$ both belonging to $\mathcal{C}^\infty(\mathbb{R},\mathbb{R})$ analytic on $\mathbb{R}\setminus\{0\}$ but non-analytic at $x=0$. Is the convolution (...
- 12.9k
1
vote
1
answer
93
views
Bound measure of difference of advected sets by norm of difference of vector fields
Consider two smooth vector fields $v$ and $u$ in $\mathbb{R}^n$, and a smooth set $\Omega$. Consider the flow of $\Omega$ via $v$ and $u$ for a time $T$, namely let
$$ \Omega_v =\{x(T, x_0) | x \text{ ...
- 2,772
2
votes
1
answer
211
views
Hölder continuity in time of heat semigroup for regular initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e.,
$$
p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \...
- 578
3
votes
1
answer
263
views
Hölder continuity in time of heat semigroup
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$ and $c>0$. Let $\ell : \bR^d \to \bR_+$ be a probability density function such that
$$
\|\ell\|...
- 1,190
3
votes
0
answers
109
views
How much a general a theory of matrices equivalence under group actions we have?
Let $F$ be a field and let $M_{m,n}\,(F)$ be the $F$-linear space of $m \times n$ matrices over $F$. Let $G$ be a group acting on $M_{m,n}\,(F)$.
My question is: Do we have some theory about the ...
- 157
0
votes
0
answers
54
views
Weyl equidistribution for a periodic $L^2$ function
Let $\alpha $ be a fixed irrational number. For a function $g:\Bbb R\to\Bbb C$, define $$g^*(x)=\sup_{N\geq 1} \frac{1}{N} \sum_{n=1}^N |g(x+\alpha n)| ,$$
and assume that there is a constant $C>0$ ...
- 213
0
votes
0
answers
101
views
Eigenvectors of tridiagonal hermitian matrix
In my paper, I investigate the coordinates of the eigenvectors of a hollow tridiagonal hermitian matrix, which is defined as:
\begin{align*}
Q_n =
\begin{pmatrix}
0 & q_{1,2} & 0 & 0 & ...
- 1
1
vote
1
answer
120
views
Does Gaussian heat kernel ensure $\int_{\mathbb R^d} (1+|x|) \sqrt{\ell_{t_0} (x)} \, \mathrm d x < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $\ell : \bR^d \to \bR_+$ be a probability density function such that
$$
\int_{\bR^d} (1+|x|) \sqrt{\ell (x)} \diff x < ...
- 578
0
votes
0
answers
32
views
Finding measure representation for rank 2 moment matrices
Assuming the following equation has a solution, I'm interested in finding any concrete values of $x_{1},\dots x_{n},y_{1},\dots y_{n},c_{1},c_{2},R$ that fulfills it.
$$
\begin{bmatrix}
1 & 1 \\
...
- 275
4
votes
1
answer
259
views
Hausdorff dimension of the zero set of the gradient of an eikonal function
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $|\nabla f| = 1$ almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ is ...
- 6,165
5
votes
2
answers
2k
views
Elementary proof of the uniqueness of smooth structures on $\mathbb{R}$
Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...
- 63.9k
17
votes
2
answers
1k
views
Is it consistent with ZFC that the real line is approachable by sets with no accumulation points?
Let $P$ denote the following proposition:
There exists a set $S$ of subsets of $\mathbb{R}$ such that
$S$ is totally ordered by inclusion;
each member of $S$ has no accumulation points;
the union of ...
- 7,817
1
vote
1
answer
114
views
Ensuring the measure condition $\mu(E) = \lambda$ in a lemma: need some clarification regarding the selection of $A$
I was studying a lemma from my notes on ergodic theory and encountered a difficulty. The lemma states:
Let $(X, \mathcal{B}, \mu)$ be an infinite non-atomic measure space, and let $T$ be an ergodic ...
- 111
3
votes
1
answer
102
views
Literature containing basic knowledge of homogeneous functions
Let $D$ be a nonempty open subset of $\mathbb{R}\times\mathbb{R}$ and $f:D\to\mathbb{R}$ be a function of two variables. For all $(x,y)\in D$ and $t>0$ such that $(tx,ty)\in D$, if the equality $f(...
- 63.9k
2
votes
1
answer
837
views
Does $\int_{\mathbb R^d} (1+|x|^{1 + \alpha}) \ell (x) \, d x < \infty$ imply $\int_{\mathbb R^d} (1+|x|) |\ell (x)|^{1-\alpha} \, d x < \infty$?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
We fix $\alpha \in (0, 1)$. Let $\ell : \bR^d \to \bR_+$ be a continuous function such that
$$
\|...
- 114k
7
votes
1
answer
390
views
Questions on symmetric Hadamard matrices
Definitions: An $n\times n$ Hadamard matrix (HM for short) is a matrix whose entries are either $1$ or $−1$ and whose rows are mutually orthogonal.
If $A$ is a symmetric matrix, then $A = A^T$ and if $...
- 696
8
votes
1
answer
376
views
Is this inequality in two variables true?
It it true that for all $p\in(0,1/3]$ and all real $t$ we have
$$4
\ln(1-p +p\cosh t)
\ln\frac{1+\sqrt{1-2p}}{1-\sqrt{1-2p}}
\le t^2 (1+c p) \sqrt{1-2p} ,$$
where $c:=2\sqrt{3}\, \ln(2+\sqrt{3})-3$?
...
- 1,053
2
votes
2
answers
158
views
Does there exist a continuous field of directions in $\mathbb R^3$ tangent to every sphere?
Does there exist a nonconstant continuous map $v: \mathbb R^3 \to \mathbb S^2$ such that every sphere $S \subset \mathbb R^3$ is tangent to $v(x)$ at some $x \in S$?
Bonus: I also suspect that for ...
- 11.1k
1
vote
1
answer
39
views
Does uniform convergence of suitable functions yield pathwise convergence of their convex envelopes?
For each $k\ge 1$, let $f_k:\mathbb R\to\mathbb R_+$ be $1-$Lipschitz, increasing such that $f_k(x)\ge x^+$ for $x\in\mathbb R$, $f_k(-\infty)=0$ and
$$\lim_{x\to+\infty} \big(f_k(x)-x\big)=0.$$
...
- 128k
7
votes
2
answers
201
views
When is a linear isomorphism of $M_n(\mathbb{C})$ given by unitary conjugation?
Let $M_n(\mathbb{C})$ represent the space of $n \times n$ matrices over $\mathbb{C}$. We will think of it as a $\mathbb{C}$-vector space.
Notice that if $A \in M_n(\mathbb{C})$ is invertible, then the ...
- 6,351
0
votes
1
answer
106
views
Convergence of mollified functions in weighted $L^p$ norm
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\supp}{\operatorname{supp}}
$
Let $(\rho_n)_{n \geq 1}$ be a sequence of mollifiers on $\bR^d$, i.e., each $\rho_n$ is a ...
- 5,005
11
votes
1
answer
953
views
Can a differentiable function have everywhere discontinuous derivative?
For $n \geq 2$, let $f: \mathbb R^n \to \mathbb R$ be differentiable. Is it possible that $\nabla f$ is everywhere discontinuous?
I believe in dimension $1$, $\nabla f$ has to be continuous on a dense ...
- 6,165
368
votes
31
answers
80k
views
Geometric interpretation of trace
This afternoon I was speaking with some graduate students in the department and we came to the following quandary;
Is there a geometric interpretation of the trace of a matrix?
This question ...
- 869
20
votes
1
answer
2k
views
Is $1/F$ Schwartz if $F$ is "reverse Schwartz"?
Let's call a positive function $F:\mathbb{R}\to\mathbb{R}$ "reverse Schwartz" if $F$ is smooth and
$$\forall n \forall k,\quad\lim_{x\to\infty}\frac{|x|^n}{|\partial_x^k F(x)|}=0\quad .$$
In ...
CommunityBot
- 1
3
votes
0
answers
212
views
Differentiability along hyperplanes for rational functions
This is a follow up to my previous question.
Let $f\colon \mathbb R^3\to \mathbb R$ be a continuous function that is rational and differentiable along all planes through $0$, that is, we assume:
...
CommunityBot
- 1
2
votes
2
answers
192
views
Upper/Lower bounds of real-analytic functions with infinite Taylor series
For example, in 1-D, given some positive increasing polynomial $p(x) = a_1x+\ldots+a_nx^n$, $p(0) = 0$, there exists constants $b_1,b_2$ such that for $x<\delta$, for some $\delta > 0$, we have ...
- 60.5k
7
votes
1
answer
271
views
Existence of a linear map resulting in the determinant being an elementary symmetric polynomial
Let $1 \leq k \leq n$ be fixed integers. Let $\mathcal{M}_n^{\mathrm{H}}$ be the set of $n \times n$ complex Hermitian matrices (if it makes it easier to answer this question, you may instead use the ...
- 33.8k