All Questions
5,629 questions
1
vote
1
answer
161
views
Proof of Convergence + Identifying Probability Distribution
I'm trying to prove that the series below converges to 1 and I noticed it looked strikingly similar to a probability distribution I once saw. My question is twofold:
Can anyone identify the ...
- 113
5
votes
0
answers
170
views
operation on Ord., Exp., Dri. generating functions
The ordinary, exponential and Dirichlet generating functions for a sequence $\{a_n\}_{n\geq0}$ are given (at least on the formal side), respectively, by
$$F(x)=\sum_{n\geq0}a_nx^n, \qquad E(x)=\sum_{n\...
- 43.2k
4
votes
1
answer
753
views
Lebesgue-Besicovitch theorem for partition elements rather than balls
I'll state the classic result in its density (rather than the more general differentiation) version. Let $\mu$ be a measure on the Borel $\sigma$-algebra of $\mathbb{R}^n$ and $A\subset \mathbb{R}^n$ ...
- 6,541
0
votes
0
answers
93
views
What is the class of real sequences satisfying these conditions?
I'm interested in finding the class of the real sequences $u_{k}$, $k\in \mathbb{N^*}$ which satify the following conditions:
$\displaystyle \sum_{k=1}^{\infty}\frac{1}{u_{k}}$ diverges i.e $\...
16
votes
2
answers
528
views
Lipschitz constant for map between triangles
Let $T_1$ and $T_2$ be any two euclidean triangles with labeled sides. The sides are labeled respectively $e_1^1,e_2^1,e_3^1$ and $e_1^2,e_2^2,e_3^2$. Call $A:T_1\rightarrow T_2$ the affine map which ...
user99087
9
votes
3
answers
398
views
Countable shifts of closed positive sets
Let $\mu$ be the Lebesgue measure, and $+$ be addition modulo $1$ in the interval $[0,1)$.
Question1: Is there a closed set $C\subset [0,1)$ of positive measure such that for any countable set $D\...
- 135
2
votes
0
answers
92
views
Estimating the size of a subset of $\mathbb{R}^N$
This concrete geometric question has arisen out of the problem of counting arithmetic functions with a particular property. The details of the relationship between the counting procedure and this ...
- 2,480
2
votes
1
answer
290
views
Any viscosity solution must be the distance function?
Suppose $U \subseteq \mathbb{R}^d$ is open and bounded. Is it possible anybody could supply a simple proof that any viscosity solution of$$\begin{cases} |Du| = 1 & \text{in }U \\ u = 0 & \text{...
- 349
4
votes
1
answer
470
views
Covering measure one sets by closed null sets
(The following question arose in a joint research with Adam Przeździecki and Boaz Tsaban.)
For a $\sigma$-ideal $\mathcal{I}$ of subsets of the unit interval
$[0,1]$, define
$$\newcommand{\card}[1]{\...
- 135
1
vote
0
answers
63
views
Direct proof of fact $u \in C(U)$ satisfies $|Du| \ge 1$ in sense of viscosity if and only if property holds
Is it possible anybody could sketch me a direct proof of the fact that $u \in C(U)$ satisfies $|Du| \ge 1$ in the sense of viscosity if and only if the following property holds?
If $V \subseteq U$ is ...
- 349
3
votes
1
answer
239
views
Distance function is unique nonnegative continuous function on $\mathbb{R}^d$ satisfying following
Suppose $U \subsetneq \mathbb{R}^d$ is open. How do I see that the distance function$$u(x) = \min_{y \in \mathbb{R}^d \setminus U} |x - y|$$is the unique nonnegative continuous function on $\mathbb{R}^...
- 349
5
votes
2
answers
341
views
a modification on an infinite Bernoulli convolution
The distribution $\nu_{\lambda}$ of the random series $\sum\pm\lambda^n$ is the infinite convolution product of $\frac12(\delta_{-\lambda^n}+\delta_{\lambda^n})$. This problem has been studied ...
- 43.2k
2
votes
1
answer
251
views
Automorphism on the unit interval compatible with a measure preserving set function
Cross-posting from math stack-exchange since it's not getting any visibility there.
I am given a function $F: \{[0, y]: y \in I\} \to \Sigma(I)$, such that $\lambda(F([0, y])) = y$, and $F([0, y]) \...
- 4,466
1
vote
1
answer
392
views
Integral kernel smooth
Assume that $Tf(x):=\int_{\mathbb{R}^n} K(x,y)f(y) dy$ is an operator such that $T \in L( H^{-k}, H^k)$ is continuous for any $k$, where $H^k$ is the $k-th$ order Sobolev space on $\mathbb{R}^n$.
...
- 11
3
votes
3
answers
233
views
sequencial shift on families =flipped powers. How?
Consider the following family of functions
$$f_n(w):=\sum_{k=0}^{\infty}\frac{(-1)^{k-1}}{k!}(k+n)^{k-1}w^k.$$
QUESTION 1. Does the following hold?
$$f_n(w)=-\frac1{n(f_{-1}(w))^n}.$$
Deeper ...
- 43.2k
7
votes
3
answers
369
views
Does a certain contractive mapping have a fixed point?
Let $f:X\rightarrow X$ be a contractive mapping of a complete metric space satisfying
$$d(f(x),f(y))\leq\alpha(d(x,y))d(x,y)$$
where $\alpha:\mathbf{R}^+\rightarrow [0,1)$, and $\alpha(t_n)\rightarrow ...
- 169
2
votes
0
answers
100
views
Roots of a partially holomorphic function
Let $\Omega$ be an open subset of $\mathbb R^d$, let $U$ be an open subset of $\mathbb C$ and let $f:\Omega\times U\rightarrow\mathbb C$ be a $C^\infty$ function which is holomorphic with respect to $\...
- 16.2k
2
votes
1
answer
497
views
Are the partial derivatives of a function increasing in both variables measurable?
Let $f$ be a function from $[0,1]\times[0,1]$ to $\mathbb{R}$ that is nondecreasing in both variables, i.e. $f(x_1,y_1)\le f(x_2,y_2)$ whenever
$x_1\le x_2$ and $y_1\le y_2$. It is known that the ...
2
votes
1
answer
404
views
Sturm Liouville problems for non-classical orthogonal polynomials
It is known that for the classical orthogonal-polynomials there exist a set of Sturm Liouville problems. E.g. , the Hermite polynomial of order $n$ is a solution of $$y''(x) -xy'(x)+ny(x)=0 \, .$$
My ...
- 3,574
5
votes
2
answers
1k
views
Derivatives of $C^{\infty}$ non analytic function
Question: Given $f\in C^{\infty}$ which is not analytic on a bounded domain $\Omega \subseteq \mathbb{R}$. What can we say about the sequence $\lbrace f^{(m)} \rbrace _{m=1}^{\infty} $? Specifically - ...
- 3,574
-3
votes
1
answer
451
views
Exponential decay of kernel
Let $A: \ell^2 \rightarrow \ell^2$ be a bounded operator given by
\begin{equation}
(Au)(\alpha) = \sum_{\beta}A(\alpha,\beta)u(\beta)
\end{equation}
where $\left|A(\alpha,\beta) \right|\le Ce^{-|\...
- 11
10
votes
1
answer
326
views
Partition into sets of positive outer measure
Let $\mu^{\star}$ denote Lebesgue outer measure. Suppose $X \subseteq [0, 1]$ and $\mu^{\star}(X) > 0$. Can we divide $X$ into uncountably many sets $\{X_i : i \in I\}$ such that for every $i \in I$...
- 121
8
votes
2
answers
980
views
Lebesgue outer measure
Denote the Lebesgue outer measure by $\mu^{\star}$. Is there a subset $X \subseteq [0, 1]$ such that $\mu^{\star}(X) > 0$ and $\mu^{\star} \upharpoonright \mathcal{P}(X)$ is a measure (countably ...
- 89
2
votes
1
answer
63
views
Decompose a function having antiderivatives into bounded components [closed]
Suppose $f:I\rightarrow\mathbb R$ has antiderivatives on an interval $I\subset\mathbb R$. Then $f$ can be decomposed as $f=g+h$, where both $g,h:I\rightarrow\mathbb R$ have antiderivatives. In ...
- 123
3
votes
1
answer
941
views
What is the mathematical characterization of sufficient statistics of a given $\sigma$-dominated probability model?
Given a probability model $\mathcal{P}=\{P_{\theta},\theta \in \Theta \}$ dominated by a $\sigma$-finite measure $\lambda$ (e.g. Lebesgue measure) on a locally compact space $\cal{X}$ along with $\...
- 8,071
2
votes
1
answer
337
views
Separability of $L^1$ in $L^2$ topology
In the space $L^1(0,1)$ take the topology generated by the $L^2$-balls
$$B^2_r(f)=\{g\in L^1(0,1):\; \|f-g\|_2<r\}.$$
Is $L^1(0,1)$ separable in this topology?
- 23
1
vote
0
answers
105
views
Positivity of solution of Poisson equation
Let $B$ denote the unit ball centered at the origin in $R^N$ and take $N \ge 3$. Let $( \phi_k(\theta), \lambda_k)$ for $ k \ge 0$ denote the Eigenpairs of $ -\Delta_\theta$ on $S^{N-1}$ which are $L^...
- 1,385
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
7
votes
1
answer
391
views
Does $(\nabla \times F) \cdot F= (\nabla \times F) \cdot \nabla f$ have a solution?
A grad student asked me this question during office hours, and I couldn't for the life of me come up with a proof or counterexample:
For a given $F:\mathbb{R}^3 \to \mathbb{R}^3$, does $(\nabla \...
- 73
2
votes
1
answer
149
views
The infinite set of $SBV$ function?
Let $u\in SBV(\Omega)$ where by $SBV$ we denote the special bounded variation function and $\Omega\subset \mathbb R^N$ is open bounded.
Let's identify $u$ by its approximation representative (see ...
- 679
4
votes
1
answer
960
views
Derivative is Zero on a dense G_delta set
I have the following question:
I have a function $f: \mathbb R \to \mathbb R$ which is differentiable everywhere.
I also have a set $G\subset\mathbb R$ which is dense in $\mathbb R$ and a $G_\delta$-...
- 495
2
votes
1
answer
499
views
Inverse of pseudo differential operator
Let $\operatorname{Op}_h(x,D)(a)$ denote the Weyl-quantisation of a symbol $a$. Is there an explicit way to invert this pseudo-differential operator in an asymptotic series? By this I mean, can we ...
- 61
0
votes
1
answer
303
views
Approximation of a $C^{\infty}_c$ function with tensor products of a constant tensor rank
I asked the following question a few days ago:
Approximation of a $C^{\infty}_c$ function by tensor products
However, I then realised that I actually need a stronger result in my proof.
As in the ...
- 357
14
votes
2
answers
808
views
Integral of power of binomials equal to sum of power of binomials?
Inspired by this MO question about integrating binomial coefficients and the answers, I was wondering whether integrating powers of binomial coefficients also relates to the respective sums. And ...
- 4,014
1
vote
0
answers
99
views
simultaneous smallness
QUESTION. Given reals $0 < \epsilon, \delta < 1$, is it always possible to find $m, n \in \mathbb{N}$ such that
$$\begin{cases} \qquad \,\,\,\, \,(1-\delta^m)^n < \epsilon \\
1-(1-(\frac{\...
- 43.2k
1
vote
1
answer
338
views
Is this a superharmonic function?
Hi everyone: Let $ \Omega $ be a bounded open set of $ \mathbb{R}^{N} $, $ N\geq2 $, and $ F\subset \Omega $ with empty interior. Suppose there exists a superharmonic function $ u $ on $ \Omega\...
- 411
2
votes
1
answer
573
views
Harmonic measure
Hi everyone: Let $ \omega $ be a bounded open set in $ \mathbb{R}^{q} $, $ q\geq 2 $, and $ E $ a subset of the boundary $ \partial\omega $ that has harmonic measure zero in $ \omega $. Let $ V $ be ...
- 411
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
0
votes
0
answers
80
views
Comparison of two functions
Given a function $f$ from $R^2$ to $R$ satisfying tha following:
$1)$ $f$ is a convex function which vanishes on $(0,1)$ and on $(1,0).$
$2)$ $f$ is a decreasing function on $x$ and on $y$ and $f$...
- 1,257
1
vote
0
answers
105
views
compactness of sequence of harmonic functions
Let $ \Omega$ denote a smooth bounded domain in $ R^N$ and let $u_m \in C^\infty( \overline{\Omega})$ harmonic functions. We also suppose $ u_m$ is bounded in $L^2(\Omega)$ (uniformly in $m$).
...
- 1,385
5
votes
2
answers
503
views
Minimizing $x_1^2+x_2^2+x_3^2+x_1x_2+x_2x_3+x_3x_1$
Look at the expression
$$
f(x_1,x_2,x_3) = x_1^2+x_2^2+x_3^2+x_1x_2+x_2x_3+x_3x_1.
$$
The numbers $x_1,x_2,x_3$ are non-negative, and I assume that $x_1+x_2+x_3=3$. This is a sum of squares and "...
- 2,217
1
vote
1
answer
116
views
To what extent do integral moments determine a function?
Suppose that $f$ is a many-times integrable function on $[-1, 1]$. We can consider integral moments of $f$, given by
$$ I_n(f) := \int_{-1}^1 \big( f(x) \big)^n dx.$$
My question is: to what extent do ...
- 1,570
2
votes
1
answer
244
views
Are there many "cusps" in a rectfiable star-shaped set?
Let me first recall the definition of density with respect to a measurable set $E$ as follows:
A point $x \in \mathbb{R}^n$ is a point of density $\alpha$ for $E$ if
$$\lim_{r \rightarrow 0} \frac{...
- 1,350
1
vote
0
answers
194
views
Cotlar-Stein's Lemma and the Dirichlet kernel
It is well-known that Cotlar-Stein's Lemma can be used to prove the $L^2$ boundedness of the Hilbert transform. See e.g. $L^2$ boundedness of the Hilbert transform via Cotlar-Stein Lemma. Then using ...
- 171
1
vote
0
answers
331
views
Verifying a claim regarding $H^1$ weak convergence and $L^2$ strong convergence on a surface
I'm reading a paper whose first section discussed $H^1$ maps defined on star-shaped sets, but I got stuck in verifying a claim for quite a while. I'm now thinking the claim is wrong, but it's hard to ...
- 1,350
5
votes
1
answer
249
views
Approximation of monotone Sobolev functions
Let $f\in W_{loc}^{1,2}(\mathbb R^2)$ be a continuous monotone (real valued) function (monotone in the sense that the maximum and minimum of $f$ in a precompact open set are attained at the boundary)....
38
votes
4
answers
3k
views
Binomial again, and again
Let $\lceil a\rceil=$ the smallest integer $\geq a$, otherwise known as the ceiling function. When the arguments are real, interpret $\binom{a}b$ using the Euler's gamma function, $\Gamma$.
Recently, ...
- 43.2k
1
vote
0
answers
99
views
Existence of a viscosity solution
Setup
I'm trying to find sufficient conditions for the existence of a viscosity solution to the following PDE,
$$
f(t,s,z) + \partial_sf(t,s,z) \\
+ \sum_{i=1}^{\infty} \left[
\partial_{z_i} f(t,s,z)...
- 5,405
2
votes
0
answers
186
views
Is this simple oscillatory integral operator uniformly bounded on $L^2$?
Let $\phi(t,s)$ be a real-valued function smooth away from the diagonal, and equal to 0 on the diagonal. Assume that $0\le \phi(t,s)\le |t-s|$ for $t,s\in \mathbb{R}$. Let
$$T_\lambda f(t)=\int \frac{\...
- 171
1
vote
1
answer
114
views
Reference request: regularity of functionals on the space of probability measures
Let $\mathcal M=\mathcal M(\mathbb R^d)$ be the space of finite measures on $\mathbb R^d$, and $\mathcal P=\mathcal P(\mathbb R^d)\subset\mathcal M$ be the space of probability measures. Let $F:\...
- 1,835