All Questions
6,015 questions
0
votes
0
answers
273
views
Finding the eigenvectors of a submatrix
Let $A=(a_{kl})$ be a matrix in $M_n(\mathbb{R})$ when $n$ is even. Let $B=(b_{kl})$ be the symmetric $2n$ by $2n$ matrix whose entries are given by,
$b_{k,l}=a_{kl}$ if $1\leq k,l\leq n$.
$b_{n+k,l}=...
- 4,058
3
votes
2
answers
2k
views
Expected gradient vs. gradient of expectation
Suppose a function $f(x): \mathbb R^d \mapsto \mathbb R^D$, and its stochastic approximator, $g(x; W): \mathbb R^d \mapsto \mathbb R^D$. Here $W$ is some random variable. Then $g(x; W)$ is unbiased in ...
- 205
5
votes
1
answer
436
views
Is the Legendre transform as an operator Lipschitz?
Let $C_{lsc}(\mathbb{R}^n)$ be the space of lower semicontinuous convex functions $\mathbb{R}^n \to \mathbb{R}$. The Legendre-Fenchel (LF) transform of $f \in C_{lsc}(\mathbb{R}^n)$ is:
$$ f^*(y) := \...
- 161
3
votes
0
answers
40
views
Bound of a regular function that cancels at some points
Let $K$ be a bounded convex set of $\mathbb{R}^n$ and $x_1,\ldots,x_k\in K$. Let $f: \mathbb{R}^n \rightarrow \mathbb{R}$ be a $C^\infty$ function that cancels on points $x_1,\ldots,x_k$ . When $n=1$, ...
- 121
2
votes
1
answer
143
views
Roots of rational function
Sorry, I asked a similar question yesterday which contained a mistake in the question posed, here is the real question.
Let $(x_n)_{n=1}^N$ be a sequence taking values in $[1,2]$ with the property ...
- 73
3
votes
0
answers
161
views
Distribution of harmonic sums mod 1
This is only to satisfy my curiosity. Consider the harmonic sums
$$ H_n =1+\frac{1}{2}+\cdots +\frac{1}{n},\;\;n=1,2,\dotsc, $$
and denote by $h_n$ their mod $1$ reductions,
$$ h_n=H_n\bmod 1=H_n-\...
- 34.7k
0
votes
0
answers
155
views
Implicit function theorem on curves
I am trying to figure out, whether the IFT can be generalized to curves. Let's say I have a function $G(x,u)$ mapping $\mathbb{R}^{n+m}\rightarrow \mathbb{R}^n$ with invertible jacobian $\frac{\...
0
votes
1
answer
161
views
Verifying the proof of a bilinear estimate in $L^2$
$\newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\ds}{\displaystyle} \newcommand{\Lpn}[2]{\left\lVert#1\right\rVert_{L^{#2}}}$
$\newcommand{\Lptxy}[3]{\left\lVert#1\right\rVert_{L^{...
- 159
2
votes
0
answers
47
views
A function $f_r$ where $f_r (x)$ is defined as the ratio between $f(x)$ and the average value of $f$ over $B(x, r)$
Let $E := \mathbb R^d$. Let $f:E \to \mathbb R_{>0}$ be continuous and integrable. For $r>0$, we define
$$
f_r (x) := \frac{f(x)}{ \frac{1}{|B(x, r)|} \int_{B(x, r)} f(y) \, \mathrm{d} y} \quad \...
- 657
4
votes
1
answer
149
views
An algebraic inequality in three real variables
Is it true that
$$(v-u)^2+(w-u)^2+(w-v)^2 \\
+\left(\sqrt{\frac{1+u^2}{1+v^2}}
+\sqrt{\frac{1+v^2}{1+u^2}}\right) (w-u)(w-v) \\
-\left(\sqrt{\frac{1+u^2}{1+w^2}}+\sqrt{\frac{1+w^2}{1+u^2}}\right) (w-...
- 128k
4
votes
1
answer
3k
views
An inequality for harmonic functions
In a paper that I am reading the author quotes the following result about harmonic functions. According to him this should be "easy to show" but I don't seem to be able to do so.
Let $u:\...
- 1,149
3
votes
4
answers
2k
views
Representation of the Dirac delta function
The Dirac delta function appears in the Sokhotsky formula,
$$\text{Im}\lim_{\epsilon\to 0^+} \frac{1}{x-i\epsilon} = \pi\delta(x),$$
to be understood in the integral sense
$$\text{Im}\lim_{\epsilon\to ...
- 188k
0
votes
0
answers
131
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
- 307
25
votes
2
answers
3k
views
What is the origin/history of the following very short definition of the Lebesgue integral?
Typical courses on real integration spend a lot of time defining the Lebesgue measure and then spend another lot of time defining the integral with respect to a measure. This is sometimes criticized ...
- 32.5k
2
votes
2
answers
755
views
Derivative of the absolute value
Let $f \in W^{1,p}(U)$, then how to prove that $|f| \in W^{1,p}(U)$, where $W$ means the sobolev space over some open subset $U \in \mathbb{R}^n$.
In Lieb's Analysis he prove that Let $f$ be in $W^{1,...
- 23
4
votes
0
answers
180
views
Approximation by gaussian mollification in Sobolev spaces
I have been trying to find a good estimate on the constant in the inequality (in dimension $d=3$ to simplify)
$$\label{0}\tag{0}
\|(1-e^{t\Delta})f\|_{L^{5/3}(\Bbb R^3)} \leq C_0\,t^{2/5}\, \|\nabla \...
- 230
1
vote
0
answers
49
views
Bounds on Eigenvalues After Skew-Symmetric Perturbation
Consider two matrices $\mathbf{J} \in \mathbb{R}^{n \times n}$ and $\mathbf{L} = -\mathbf{L}^T \in \mathbb{R}^{n \times n}$. I am trying to upper bound the eigenvalues of their sum:
$$\mathbf{A} = \...
- 11
4
votes
2
answers
158
views
A ball with slit at the radius is not $W^{1,1}$-extension domain
Recall that: A domain $\Omega\subset \mathbb{R}^d$ is an $W^{1,1}$-extension domain if there exists an operator $E:W^{1,1}(\Omega)\to W^{1,1}(\mathbb{R^d})$ and a constant $c= c(d,\Omega)>0$ such ...
- 1,101
6
votes
3
answers
938
views
Proof of a matrix implication
If $A = \begin{bmatrix} x & 1\\ y & 0\end{bmatrix}, B = \begin{bmatrix} z & 1\\ w & 0\end{bmatrix}$, for $x,y,z,w \in \Bbb{R}$.
I have observed by considering many examples of $x,y,z,...
- 51
1
vote
0
answers
106
views
When are the level curves of a polynomial bounded?
Let $f \in \mathbb{R}[x,y]$. I want to understand when $f$ has the following property: for all sufficiently large (positive) $k$, the level curves defined by
$$\displaystyle f(x,y) = k$$
consist of a ...
- 26.9k
0
votes
0
answers
168
views
How does one make sense of singular solutions to constant mean curvature equation?
Background:
Consider the following ODE:
$$\left(\frac{r^2 \dot{f}}{\sqrt{1+r^2(\dot{f})^2}}\right)' = c r$$
where $c$ is some positive constant (Lagrange multiplier), $f:[0,\infty)\to [0,\pi]$ is the ...
- 537
10
votes
1
answer
961
views
Ruling out the existence of a strange polynomial II
This is a refinement of my question asked earlier, which is answered beautifully in the negative by Thomas Browning. The example he gave was geometrically reducible. Now I want to ask the same ...
- 26.9k
34
votes
1
answer
2k
views
Ruling out the existence of a strange polynomial
Does there exist a polynomial $f \in \mathbb{Z}[x,y]$ such that
$$\displaystyle f(a,b) > 0 \text{ for all } a,b \in \mathbb{Z}$$
and
$$\displaystyle \liminf_{(x,y) \in \mathbb{R}^2} f(x,y) = -\...
- 26.9k
9
votes
1
answer
302
views
For which Sheaf topoi is Brouwer's fan theorem true?
Brouwer's fan theorem is the standard result that the Cantor space is compact, or equivalently that the Cantor space viewed as a locale is spatial. Since it is a compactness result for a countable ...
- 1,947
5
votes
1
answer
151
views
On existence of a concave function
Let $a$ be a strictly positive $C^\infty$ smooth function on the unit interval. Does there exist a strictly positive $C^\infty$ smooth function $f$ on $I$ such that
$$ f’’(x) \leq 0\quad \text{and} \...
- 4,153
3
votes
1
answer
236
views
Property of sets of positive Lebesgue measure in $\mathbb{R}^2$
Let $P\subset \mathbb{R}^2$ be a set of positive Lebesgue measure. Is it always true that a suitable rotation and translation of $P$ always contains a set of the form $\{re^{i\theta}:r\in E, \theta\...
- 73
2
votes
1
answer
157
views
Inequality with decreasing rearrangement and non-decreasing function
This question is a continuation of the question here.
Let $f^{*}$ be the usual decreasing rearrangement function of a measurable function $f$ on a measure space $(X, \mu)$. Let $1<p<n$ and set $$...
- 459
10
votes
1
answer
756
views
The $9$th tetration of $-\sqrt2$
Let $^na$ denote the $n$th tetration of $a$, so that $^0a=1$ and
$$^{n+1}a=a^{^na}$$
for $n=0,1,\dots$. (For complex $x$ and $y$, here we use the definition $x^y:=e^{y\ln x}$, where $\ln$ is the ...
- 128k
4
votes
1
answer
507
views
Degree four polynomials with no real roots
Consider a degree four polynomial
$$
f = a_4x^4 + a_3x^3 + a_2x^2 + a_1x+ a_0 \in \mathbb{R}[x]
$$
with real coefficients. The discriminant $\Delta_f$ of $f$ is a homogeneous polynomials of degree six ...
- 8,998
8
votes
1
answer
374
views
Status of the fundamental theorem of algebra for the locale of real numbers
In constructive mathematics without any choice at all, it is well known that the fundamental theorem of algebra cannot be proven for the Dedekind real numbers. On the other hand, Wim Ruitenberg showed ...
- 2,624
1
vote
0
answers
125
views
Second derivative of the logarithm of the modified Bessel function of the first kind
This question makes sense entirely without the probabilistic perspective, but let us quickly describe how it arises in our setting. Let $X,X’$ denote two i.i.d. random variables having the ...
- 183
4
votes
1
answer
367
views
Inequality with decreasing rearrangement function
Let $f^{*}$ be the usual decreasing rearrangement function of a measurable function $f$ on a measure space $(X, \mu)$. Let $1<p<n$ and set $$p'=\frac{pn}{n-p}.$$ Also, let $g$ be a positive ...
- 459
3
votes
1
answer
205
views
Comparison of solutions of Hamilton–Jacobi equations with different initial conditions
Consider a Hamilton–Jacobi equation:
$$u_{t} + f(u_{x}) = 0 \quad (x,t) \in \mathbb{R}\times [0,+\infty)$$
with two possible initial conditions $u(x,0) = g_{i}(x)$ for $x \in \mathbb{R}$ and $i=1,2$. ...
- 3,535
3
votes
2
answers
394
views
Eigenvalues and eigenvectors of non-symmetrical tridiagonal matrix
The question is the following: given a matrix
$$A=\begin{pmatrix}
1& 2 & & & & \\
1& 0& 1 & & & \\
& 1& 0& 1 & &\\
& &...
- 145
3
votes
1
answer
139
views
What is the optimal asymptotic behavior of this integral over the sphere?
Let $k_{1},\dots, k_{d}>1$ be integers and consider the integral
$$J_{\lambda }=\int_{\mathbb{S}^{d-1}}e^{-\lambda \left(x^{2k_{1}}_{1}+\dots+ x^{2k_{d}}_{d}\right)} d\sigma(x)$$
where $d\sigma$ ...
- 852
4
votes
1
answer
134
views
On partial absolute continuity
$\newcommand\B{\mathscr B}\newcommand\A{\mathscr A}\newcommand\si{\sigma}$Let $I:=[0,1]$, and let $\B$ and $\B^2$ denote the Borel $\si$-algebras over $I$ and $I^2$, respectively. Let $\A$ stand for ...
- 128k
6
votes
1
answer
405
views
Baire class $1$ functions and Baire's characterization theorem
Kechris in his Classical Descriptive Set Theory book gives the following definition (Definition 24.1) and characterization (Theorem 24.15) of Baire class $1$ functions:
Definition. Let $X,Y$ be ...
- 2,286
25
votes
3
answers
2k
views
Does there exist a continuous function $f(x)$ such that $f(0)=0$ and $0<\lim_{n\to\infty}\prod_{k=1}^n f(k/n)<\infty$?
Does there exist a continuous function $f(x)$ such that $f(0)=0$ and $0<\lim\limits_{n\to\infty}\prod\limits_{k=1}^n f(\frac{k}{n})<\infty$ ?
I do not see any reason why such a function could ...
- 3,567
5
votes
3
answers
557
views
The field structure on the locale of real numbers
It is well known how to derive the field operations from the construction of the real numbers as the Dedekind completion of the rational numbers and as the Cauchy completion of the rational numbers; ...
- 2,624
4
votes
1
answer
150
views
Quantitative analytic continuation estimate for functions small except on a small set
This question arises as a variation of this question, which was helpfully answered in the negative. It turns out that for my application, a substantially weaker conjecture suffices, which fails to be ...
- 324
4
votes
2
answers
191
views
Reference request: "Tangent relation" in metric spaces
Let $X,Y$ be metric spaces. Let $f,g : X \to Y$ be two maps and $x_0 \in X$. Let us say that $f$ and $g$ are tangent at $x_0$ if the following condition is satisfied: For every $\epsilon > 0$ there ...
- 63.1k
5
votes
3
answers
496
views
Eigenvectors that are tensor products?
Consider a fixed $N\times N$ positive definite symmetric matrix $A$.
Assume $N=d^r$ for some $d,r\geq 1$.
I wonder if one can find a closed formula for the maximizer/maximum of the function $$f(x):=\...
- 2,135
1
vote
0
answers
65
views
Prescribed class of measurable sets
Let $X\neq\emptyset$ and let $\mu:P(X)\to[0,\infty]$ be an outer measure. Recall that, a set $A\subseteq X$ is $\mu$-measurable if
$$
\mu(B)=\mu(A\cap B)+\mu(B\setminus A), \text{ for all }B\subseteq ...
- 895
8
votes
1
answer
412
views
Weakest theory over which "all sets are measurable" has consistency strength?
Some convention: $\textrm{DC}$ stands for axiom of dependent choice, $\text{LM}$ stands for the statement "all subsets of $\mathbb{R}$ are Lebesgue measurable", $\textrm{IC}$ for "there ...
- 333
2
votes
0
answers
198
views
Sets and their characteristic functions
There are some nice connections between properties of sets and properties of their characteristic functions.
For instance:
a set $C\subset \mathbb{R}$ is closed (resp. open) IFF the characteristic ...
- 4,359
2
votes
1
answer
170
views
Smooth extension of functions at corners
Let $\mathbb{B}_1(0)\subseteq\mathbb{R}^n$ be the ball of radius $1$ in the Euclidean space, $n>1$. Suppose we have a cylinder $C=[0,1]\times \mathbb{B}_1(0)$ and suppose we are given smooth ...
- 23
3
votes
1
answer
167
views
Entire function with almost periodic boundary condition?
Let $v_1 =\lambda_1 \zeta_1$ and $v_2 = \lambda_2 \zeta_2$ with $\zeta_1 = \frac{4\pi i\omega}{3}$ and $\zeta_2 = \frac{4\pi i\omega^2}{3}$ where $\omega = e^{2\pi i/3}$ is the third root of unity and ...
- 73
1
vote
1
answer
141
views
Finding an analytical upper bound on linear transform of matrix
Given a (real) positive semi-definite matrix $\underline M$ (with all elements of the principal diagonal equal to $1$) and a transformation $T:\underline A\to \underline A + \alpha \underline D$, with ...
- 111
0
votes
0
answers
149
views
Diagonalizing a specific case of symmetric block matrix
Let's consider the following block matrix
$$ M = \begin{pmatrix}D&A^T\\A&-D\end{pmatrix},$$
where $A$ and $D$ are $n \times n$ matrices. The diagonal matrix $D$ is defined by $D_{kk} = k \...
- 1
18
votes
2
answers
3k
views
Is there an analytic non-linear function that maps rational numbers to rational numbers and it maps irrational numbers to irrational numbers?
Consider a function $h$ defined on real numbers, which is not of the form $kx+b$ i.e. a linear function. If $h$ maps rational numbers to rational numbers and it maps irrational numbers to irrational ...
- 303