All Questions
5,857 questions
12
votes
2
answers
781
views
Determinant of a checkerboard Hankel matrix with Catalan numbers
My goal is to compute
\begin{equation}
I = \det \left(\mathbf{I} + \mathbf{A}\right)
\end{equation}
where $\mathbf{A}$ is a $n \times n$ checkerboard matrix filled with Catalan numbers:
$$
\left\{
...
- 840
3
votes
2
answers
666
views
Brownian motion, quadratic variation, existence of partitions?
Let $B_t$ be a standard Brownian motion. Does there with probability one exist a sequence of partitions $\{t_{k, n} : k = 0, 1, \dots, k_n\}$ $$0 = t_{0, n} < t_{1, n} < \dots < t_{k_n, n} = ...
- 33
4
votes
2
answers
228
views
lower bound volume of a set
Let $\lambda$ be Lebesgue measure on [0,1]. For any $x_{1},\dots,x_{k}$ in $[0,1]$, define $$A(x_1,..,x_k):=\{(y_1,\dots,y_k)\in [0,1]^k: \text{there exist intervals }I_1,\dots,I_k \text{ in }[0,1]$$ ...
- 75
7
votes
1
answer
489
views
When the value of a function in a point is equal to its integral average over the point's neighborhood?
It is well-known that the harmonic functions have this remarkable Averaging Property: if $f$ is harmonic in a domain $U \subset R^n$, then, for any point $x \in U$, $f(x)$ is equal to the integral ...
- 91
5
votes
1
answer
330
views
Constructive approximation of Hölder functions using kernel functions
Suppose I have a function $f \in \mathcal C^{\alpha, L}([0,1])$, where
$\mathcal C^{\alpha, L}([0,1])$ is the space of $\alpha$-smooth Hölder
functions with norm $L$. I am interested in efficiently ...
- 155
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$ ...
- 3,910
4
votes
1
answer
325
views
Principal Minors of the Resultant
Let $x_1, \ldots, x_n$ be variables, $e_n$ be the elementary symmetric polynomials. I will denote the discriminant by
$$D_n(x_1, \ldots, x_n) = \prod_{i<j} (x_i - x_j)^2$$
And a generalized ...
- 1,187
10
votes
3
answers
2k
views
The intersection of $n$ cylinders in $3$-dimensional space
A standard question in vector calculus is to calculate the volume of the shape carved out by the intersection of $2$ or $3$ perpendicular cylinders of radius $1$ in three dimensional space. Such ...
- 11.4k
5
votes
0
answers
349
views
Tietze extension theorem for lower semi continuous functions
On the Tietze extension theorem, if instead of a continuous function "f" we use a lower semi continuous function on a closed subspace of a metric space, is the theorem correct? I mean, can we extend ...
- 179
1
vote
0
answers
99
views
How is the dominated convergence theorem applied in the proof of Lyapunov’s criterion?
Let $$\Gamma(f,g):=\frac12f'g'\;\;\;\text{for }f,g\in C^1(\mathbb R),$$ $\mu$ be a probability measure on $(\mathbb R,\mathcal B(\mathbb R))$ with a continuously differentiable and positive density $\...
- 167
1
vote
1
answer
250
views
Question about the stationary phase method and the smooth function used
A statement of the stationary phase method I know is the following.
Suppose $\phi(x_0) = \phi'(x_0) = 0$ and $\phi''(x_0) \not = 0$. If $\psi$ is a smooth function supported in a sufficiently small ...
- 3,625
7
votes
1
answer
192
views
On the zero set of a $C^2$ function on $[0,1]^2$
Let $f:[0,1]^2\rightarrow \mathbb{R}$ be a twice continuously differentiable function with the property that for all $x\in [0,1]$, there is an interval $I_x\subset [0,1]$ such that $f(x,y)=0$ for all $...
- 73
8
votes
3
answers
2k
views
Does a weaker condition than vanishing derivative imply a function being constant?
I learned this question from math.stackexchange, which is equivalent to ask that if $f:[0,1]\to \mathbb{R}$ is a continuous function with bounded variation, does
$$g(x):=\lim_{\epsilon\to 0}\frac{f(x+...
- 183
1
vote
1
answer
136
views
Conditions to obtain a real logarithm of a unitary unimodular complex matrix?
The problem statement is the following:
$$U=\exp\{iV\}$$
where $U$ is a unitary unimodular matrix of the following form:
$$U=\begin{bmatrix}u_1+iu_2&u_3+iu_4\\-u_3+iu_4&u_1-iu_2\end{bmatrix}...
- 113
2
votes
0
answers
69
views
Extension of a $\delta$-subharmonic function that is subharmonic on a reduced domain
Suppose $B$ is a ball in $\mathbb{R}^{m}$ and $u$ and $s$ are subharmonic on $B$. Suppose there is a closed subset $F$ of the closure of $B$ with no interior such that $v=u-s$ is subharmonic on $B\...
- 411
1
vote
0
answers
74
views
Removability of the isolated singularity of real analytic mappings with nondegenerate Jacobian
Let $B^n=\{x\in \mathbf{R}^n: |x|<1\}$$(n>2)$. Consider real analytic mappings $f_1:B^n\setminus \{0\}\to B^n$, $f_2:B^n\setminus \{0\}\to \mathbf{R}^n$ and $f_3: B^n\setminus \{0\}\to S^n$ ...
- 89
3
votes
1
answer
331
views
Solving recurrent relation
I have the following recurrent relation and I want to find a close form of it if it exists at all.
$$
P_n = (1-p)^{n-1}P_{n-1} + \sum\limits_{k=2}^{n} \binom{n-1}{k-1} p^{\binom{k}{2}} (1-p)^{k(n-k)} ...
- 342
-3
votes
1
answer
125
views
Does the Hadwiger-Nelson graph have a perfect matching?
The Hadwiger-Nelson graph on $\mathbb{R}^n$ is defined to be $(\mathbb{R}^n,E_n)$ where $$E_n = \big\{\{x,y\}: x,y\in \mathbb{R}^n \text{ and } |x-y|=1\big\},$$ where $|\cdot|$ denotes the Euclidean ...
- 48.9k
1
vote
0
answers
98
views
Poincaré lemma for gradient times its transpose
Poincaré lemma states that a vector $v_i(x)$ defined on a ball in $R^n$ is the gradient of a function if and only if
\begin{equation}
\partial_i v_j = \partial_j v_i
\end{equation}
or equivalently ...
- 11
8
votes
3
answers
800
views
Continuous functions as uniformly continuous function
Three question concerninng metrics on the real line:
Is there a metric $d$ on $\Bbb{R}$ such that a function $f : (\Bbb{R},d) \longrightarrow (\Bbb{R},d)$ ( or $f : \Bbb{R} \longrightarrow (\Bbb{R},...
user38122
12
votes
2
answers
812
views
Inequality in Gaussian space -- possibly provable by rearrangement?
The following problem arose for my collaborators and me when studying the computational complexity of the Maximum-Cut problem.
Let $f : \mathbb{R} \to \mathbb{R}$ be an odd function. Let $\rho \in [...
- 6,694
1
vote
1
answer
1k
views
properties of orderd upper and lower semi continuous functions [closed]
$M$ is a compact space. Assume $f$ is upper semi-continuous on $M$, $g$ is lower semi-continuous on $M$, and $f(x) \geq g(x)$ for any $x\in M$.
If $f(x_0) = g(x_0) $ for some point $x_0\in M$,
is it ...
- 173
2
votes
3
answers
1k
views
on the set of numbers generated by integer linear combination of two real numbers.
Let $b > a > 0$ be two real numbers. I am interested in the set of numbers
$X(p,q) = p a + q b$ with $p,q$ positive integers. Basically this is the set $a \mathbb{N} + b \mathbb{N}$.
What ...
- 29
3
votes
1
answer
142
views
PDE satisfied by projection of a function onto a subspace
Given an open bounded set $D\subset \mathbb R^N$, let $f\in W^{-1,q}(D)$ and let $u$ be a Sobolev function $u\in W_0^{1,p}(D)$ such that $u$ solves the PDE
$$
\begin{cases}
-\Delta_p u=f\;\text{in $D$}...
- 261
1
vote
0
answers
52
views
Mean value of a function with binomial coefficients as weights
Is the following true?
Let $a$ be a positive integer and let $t_n$ be a sequence of numbers. We define the binomial mean of $t_n$
$$
\beta_{t_n,a} = \frac{1}{2^n t_n}\sum_{r^a \le n} \binom{n}{r^a}...
- 5,470
3
votes
1
answer
334
views
At what point does exponential integral coincide with exponential?
I'm looking for the solution to the equation $E_1(x)=e^{-x}$, where $E_1(x)$ is the exponential integral function. The solution is approximately 0.434818204, but is this constant well known/studied?
...
- 1,324
1
vote
1
answer
179
views
One trig "survives" a binomial summation: why?
I've seen many trigonometric identities but here is one that I encountered for which I did not find a reference.
In case you wonder where this came from, I was investigating certain $q$-series in ...
- 43.2k
2
votes
1
answer
1k
views
Doubling metrics, doubling measures, Lebesgue density
As stated in this question,
Lebesgue differentiation theorem holds on locally doubling space?
and proved here,
http://www.math.uiuc.edu/~tyson/595f15lecture2.pdf
the Lebesgue differentiation theorem (...
- 6,541
1
vote
1
answer
274
views
Local analyticity of volumes of slices of semi-algebraic sets
I would like a reference and/or a simple proof using well-known results of the following, which I think is true. (If it's false, I'd like to know that as well of course -- and ideally a way to modify ...
- 1,499
1
vote
1
answer
71
views
Monotonicity given an implicit function containing a Measure integral
The following question seems simple but I am not sure how to handle it correctly because of the integral with respect to a measure. I would be very thankful for any reply.Cheers!
Knowing that $$f(\...
1
vote
1
answer
244
views
Grauert's semicontinuity theorem over the real field
I need to know the following: let $f:\rightarrow {\mathbb R}$ be a real-analytic function defined in a neighbourhood of a point in an analytic manifold. If the fiber $f^{-1}(0)$ is simply connected, ...
- 29
1
vote
0
answers
114
views
Final time maps of IVP's approximating functions $X\subseteq\mathbb{R}^n\to\mathbb{R}^n$
I originally posted this question on the Mathematics StackExchange and got told to consider putting it on here, on MathOverflow. I will word the question a bit differently:
Let $X$ be a compact $k$-...
- 121
7
votes
3
answers
385
views
On what kind of condition of a compact set $K$ in the plane, $C(K)$ has a generator?
Let $K\subset \Bbb{C}$ be a compact subset of the complex plane, and let $C(K)$ be the space of all complex continuous functions on $K$.
We say that $f\in C(K)$ is a generator of $C(K)$ when the set $...
- 185
5
votes
1
answer
330
views
Compactness of a semi algebraic set
Suppose I have a polynomial $p\in R[x_1,\ldots,x_n]$ and I look at the set $S:=\{ x\in R^n : p(x)\geq 0\}$. Are there algebraic certificates on $p$ that will certify that $S$ is compact?
- 65
1
vote
1
answer
1k
views
About covariance operators for probability distributions on a function space
Feel free to restrict the function space to a Hilbert space or to a RKHS. Given a probability distribution on it when can we define a ``covariance operator" for it and when would it also have a well-...
- 2,246
2
votes
0
answers
198
views
Continuous Local Martingales under time change under what conditions are they still local martingales?
This question is motivated by reading a section in Continuous Martingales and Brownian Motion by Daniel Revuz, Marc Yor.
In Chapter V there is a section on time-change:
Definition:
A time change $C$...
3
votes
1
answer
2k
views
A.e. pointwise convergence of L2 functions - counterexample for generalization of Carleson's thm
Let $f_n \in L^2[0,1]$ be an orthonormal sequence and let $c_n \in \mathbb C$ be such that $\sum_{n = 1}^{\infty} |c_n|^2 < \infty$. Does this imply that the sequence $\sum_{n = 1}^{\infty}c_nf_n$ ...
- 11.9k
1
vote
2
answers
873
views
$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$
$c_0(C[0,1])$ is the $c_0$-direct sum of countably many $C[0,1]$.How to prove
$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$.
Here,Banach-space isomorphism means a bounded invertible operator ...
- 185
6
votes
6
answers
4k
views
existence of antiderivatives of nasty but elementary functions
In discussing with my honors calculus class the fact that some continuous elementary functions do not have an elementary antiderivative, I realized I was unsure whether every discontinuous elementary ...
- 19.7k
1
vote
1
answer
131
views
Convergence of $L^p$ of approximation
Let $f \in L^p(\mathbb R^n)$ be given. Consider a partition of rectangles $I_{ij}:=[x_i,x_{i+1}]\times [x_j,x_{j+1}]$ of $\mathbb R^2.$
Then, we may define the coefficients
$$\alpha_{ij}= \frac{1}{\...
- 65
4
votes
1
answer
418
views
Approximation of a $C^{\infty}_c$ function by tensor products
Suppose that $f \in C^{\infty}_c ( \mathbb{R}^2 )$, i.e. $f$ is a $C^{\infty}$ function with compact support defined on $\mathbb{R}^2$. The following link
Approximation of smooth compactly supported ...
- 357
2
votes
1
answer
93
views
Lipschitz bound on semigroups
Let $T$ be a self-adjoint operator (possibly unbounded) and $S$ a bounded self-adjoint operator.
Then one can study the unitary groups $R_T(t):=e^{itT}$ and $R_S(t):=e^{itS}.$
Now if you think about ...
1
vote
0
answers
76
views
Generalization of Lagrange-Burmann to system of self-consistency equations
In my research, I have come across a system of probability generating functions of the following form:
$$H_1(x) = x A(H_1(x))B(H_2(x)) \text{,}$$
$$H_2(x) = x C(H_1(x))D(H_2(x)) \text{,}$$
and I am ...
9
votes
1
answer
352
views
Can there be a measurable set that integrals have the same given value if their integral on $\mathbb{R}$ are the same?
We know for an integrable function $f$, if $\int_\mathbb{R} f=1$, then $\forall \lambda\in [0,1] $, there exists a measurable set $E$ that $\int_E f=\lambda$.
Now consider integrable functions $f$ ...
- 191
4
votes
1
answer
1k
views
Density argument with Schwartz functions?
I was wondering whether the Schwartz functions are also dense in
$$\{f \in L^2(\mathbb{R}^n); \int_{\mathbb{R}^n} |x|^2 |f(x)|^2 dx + \int_{\mathbb{R}^n}|\xi|^2 |\hat{f}(\xi)|^2 d \xi < \infty\}$$
...
- 129
12
votes
1
answer
5k
views
Points of continuity of Baire class one functions
This is an idle question motivated by two comments I made to a previous MO question (which I just searched for, unsuccessfully). That question asked if the characteristic function of the rationals is ...
- 65.4k
1
vote
1
answer
823
views
What is the growth of sum of absolute values of Fourier coefficients
For a periodic BV function $f$ which has jump discontinuties, is there any theorem in Fourier analysis which gives like $$\sum_{k=0}^n\left|c_k\right|\sim C\log\left(n\right)$$ where $C$ is a constant ...
- 698
3
votes
1
answer
290
views
Fluctuating constants
Let $p_k$ be the $k$-th prime number, $\gamma$ be the Euler-Mascheroni constant and $M$ be the Meissel–Mertens and let $m$ be the integer part of $\log p_n$. We can show that
$$
\sum_{r=1}^{m} \frac{...
- 5,470
1
vote
1
answer
163
views
Argument for differentiability of a certain quotient of smooth functions
I have what is in essence a basic analysis question.
To make working out a certain example a bit easier I found that I need to find existence of a function $f\in C^\infty(\mathbb{R})$ with the ...
- 397
4
votes
0
answers
128
views
Anderson Localization and Homogenization theory
I originally asked this on Mathematics Stack Exchange but realized it might be better to ask it here.
The question is mostly related to homogenization theory in mathematical physics.
$\textbf{...
- 81