# Tagged Questions

**3**

votes

**0**answers

111 views

### Eigenvalues and eigenvectors of the q-Bernstein operator

The Bernstein operator maps $f\in C[0,1]$ to its Bernstein
polynomial $B_n f.$ The eigenvalues and eigenfunctions of the
Bernstein operator on $C[0,1]$ have been described in [1]. Similar description ...

**7**

votes

**0**answers

223 views

### Proving Richardson's theorem for constants

(I asked this a little over 3 months ago on math.SE, and when I initially re-asked here, no one had responded there. $\:$ After I re-asked here, Eric Towers responded there, since I had forgotten to ...

**2**

votes

**0**answers

124 views

### An alternative to the Euler--Maclaurin formula: Approximating sums by integrals only

The Euler--MacLaurin summation formula can be written as
$$ \sum_{i=0}^{n-1} f(k)\approx \int^{n-1}_0f(x)\,dx
+ \frac{f(n-1) + f(0)}2
+
\sum_{j=1}^m\frac{B_{2j}}{(2j)!}[f^{(2j - ...

**6**

votes

**2**answers

270 views

### Intermediate value for a vector-valued function

Consider a vector-valued function $f: [0,1]^n\rightarrow[0,1]^n$. Write $f(x)=\{f_1(x), ..., f_n(x)\}$ with $x\in[0,1]^n$, where the $f_i: [0,1]^n\rightarrow[0,1]$ are continuous functions with the ...

**1**

vote

**1**answer

68 views

### Optimal covering with finite subcollection of open sets

This is mainly a reference request. Consider a finite collection of (let's say, for simplicity) of open balls $B_i, i = 1, 2, ..., m$ in (again, for simplicity) $\mathbb{R}^n$. I am looking for ...

**4**

votes

**1**answer

146 views

### An open mapping theorem for homogeneous functions?

I am researching different generalizations of the familiar open mapping theorem from functional analysis. Every "proof" I attempt while simply assuming positive-homogeneity, even in the finite-dim ...

**0**

votes

**0**answers

29 views

### Numerical integration over a cube with non-product weight

Numerical integration over an interval with (well-behaved) weight functions is a research area that has received considerable attention in the past centuries. Any cubature formula over a interval ...

**0**

votes

**0**answers

34 views

### Beurling density $D(X)$ of $X=\{x_j\in\mathbb R, \ |x_j-x_{i}|>\gamma>0: \ i,j\in\mathbb Z\}$

Beurling density of set $X$ is defined (see, for example "Nonuniform Sampling and Reconstruction in Shift-Invariant Spaces" by Aldroubi and Grochenig) as:
$$D(X)=\lim_{r\rightarrow \infty} ...

**2**

votes

**2**answers

139 views

### Asymptotics of the derivatives of analytic functions

Are there sources that treat questions like the following ones?
Suppose that $f\colon\mathbb{C}\to\mathbb{C}$ is an entire function such that $f(x)$ is real for all real $x$ and $f(x)\sim1/x$ as ...

**3**

votes

**1**answer

171 views

### comparing norms of tensor product of two Hilbert spaces

Suppose $H_1$ and $H_2$ are two Hilbert spaces with dimension $n$ and $m$, for $ x \in H_1 \otimes H_2$
consider $$\|x\|_\pi = \inf \left\{ \sum_{i=1}^n \|a_i\| \|b_i\| : x = \sum_{i} a_i \otimes b_i ...

**0**

votes

**0**answers

46 views

### The properties of the solution pf minimizing problem with different parameters

I asked an similar problem before but received no respond. Here I modified the problem, add in more informations and assumptions, and with an extra question...
Let $\Omega\subset \mathbb R^2$ be open ...

**10**

votes

**2**answers

225 views

### Slight variation on law of the iterated logarithm

Let$$M_t = \max\{B_s : 0 \le s \le t\},\text{ }m_t = \min\{B_s : 0 \le s \le t\},$$where $B_t$ is a standard Brownian motion. My question is, does there exist $r$ such that with probability ...

**1**

vote

**0**answers

105 views

### Laplace method with “bad” zero set

It is well-known that if $\phi:\mathbb{R}^n \longrightarrow \mathbb{R}$ is a function with $\phi(0) = 0$, $\phi(x)>0$ if $x \neq 0$ and $D^2\phi(0) \geq 0$, then the integral
$$\int_{\mathbb{R}^n} ...

**10**

votes

**1**answer

295 views

### Extension of Dynkin's formula, conclude that process is a martingale

This question was asked here, but it did not get enough attention, so I'm crossposting it to MO.
Let $u: \mathbb{R}_+ \times \mathbb{R}^d$ be a bounded $C^2$ function whose first and second partial ...

**3**

votes

**1**answer

126 views

### $M_Λ(A) → A ⊗ M_Λ(C)$

I saw this in here. Let $A$ be a Banach algebra, and let $\Lambda$ be a non-empty set. We denote by
$M_\Lambda(A)$ be the set of $\Lambda\times\Lambda$ matrices $(a_{ij})_{i,j\in\Lambda}$ with entries ...

**3**

votes

**1**answer

380 views

### On the embedding of a function space $X$ into $L^2\cap L^4$

It is well-known that if $\Omega\in \mathbb{R}^n$ is a bounded domain, then we have the embedding
$$
L^4({\Omega})\subset L^2({\Omega})
$$
since $||f||_{L^2(\Omega)}\leq C(\Omega) ||f||_{L^4(\Omega)}$ ...

**0**

votes

**1**answer

115 views

### growth of derivative

(Alexandre Eremenko gave the answer to the question I posted earlier. Then I realised the question didn't give what I wanted. Here is the updated question.)
Suppose that $f:[a,\infty)\to \mathbb{R}$ ...

**3**

votes

**1**answer

138 views

### Poisson kernel, expectation, an absolute value comes in

See here.
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. We see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, ...

**16**

votes

**2**answers

440 views

### Hahn-Banach theorem with convex majorant

At least 99% of books on functional analysis state and prove the Hahn-Banach theorem in the following form: Let $p:X\to \mathbb R$ be sublinear on a real vector space, $L$ a subspace of $X$, and ...

**2**

votes

**1**answer

119 views

### Poisson kernel, $E^{(x, y)}\text{exp}\{i\theta X_t - \theta Y_t\} = e^{i\theta x - \theta y}$

Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. How do I see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, ...

**6**

votes

**1**answer

277 views

### In the plane, does complement of Brownian path have infinitely many connected components?

Let $d = 2$. Do we have that with $P_x$—probability $1$, for every $T> 0$ the complement $W[0, T]^c$ of the Brownian path up to time $T$ has infinitely many connected components?
I had seen this ...

**7**

votes

**2**answers

266 views

### Distribution of $\max_{n \ge 0} S_n$, random walk

Say we have a random walk that is a nearest neighbor random walk on the integers where at each step the probability of moving one step to the right is $p$ and the probability of moving one step to the ...

**1**

vote

**1**answer

203 views

### A classification of (reasonable) asymptotics

Notations: "eventually" means "for $x$ sufficiently large"; "positive" means "strictly positive".
Let $\exp_1 = \exp$ and $\exp_{n+1} = \exp_n \circ \exp$.
Let $E$ be the set of smooth function $f: ...

**3**

votes

**1**answer

115 views

### Is the set of multiple points of the Brownian path $W[0, \infty)$ dense in the plane almost surely?

Let $d = 2$. With probability $1$, is the set of multiple points of the Brownian path $W[0, \infty)$ dense in the plane?

**2**

votes

**1**answer

128 views

### Poisson kernel is the Cauchy distribution, reference?

Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Can someone give me a reference to a proof that the Poisson kernel is the Cauchy distribution?

**2**

votes

**0**answers

92 views

### Error term for a Fourier integral

There is a well-known theorem that states that for $f$ continuous and $f,\hat f$ integrable,
$$f(0)=\frac{1}{\pi}\lim_{T\to\infty}\int_{-\infty}^\infty f(x)\frac{\sin(Tx)}{x}dx.$$
So it should be that
...

**2**

votes

**1**answer

114 views

### Expectation equation, harmonic functions, do not understand why equation is true

Let $u: \mathbb{R}_+ \times \mathbb{R}^d$ be a bounded $C^2$ function whose first and second partial derivatives are uniformly bounded (or, more generally, have at most polynomial growth as $|x| ...

**4**

votes

**2**answers

375 views

### Dirichlet's approximation only using prime power as denominator

I am not sure whether this is a suitable question for MO. We know the classical version of Dirichlet's approximation theorem that if $x$ is a real number and $Q>0$ there exist $p,q\in \mathbb{Z}$ ...

**3**

votes

**1**answer

98 views

### Number and asymptotic for cyclic sequences

Cyclic sequence is equivalence class of cyclic shift action.
If $a = (a_1, ... , a_i)_c$ is cyclic sequence then $(a_1, a_2, \ldots a_{i-1}, a_i)_c = (a_2, a_3, \ldots, a_i, a_1)_c = \ldots = (a_i, ...

**3**

votes

**1**answer

140 views

### Asymptotic for binomial sums

Let $S(n, t) = \sum_{k = 0}^n {n \choose k} ^t$.
The task is to find asymptotic behavior of $S(n,5)$, $n \to \infty$.
Asymptotic for $S(n,0)$ and $S(n,1)$ is very simple.
For $S(n,2)$ we can use ...

**9**

votes

**1**answer

145 views

### Brownian motion, “increase interval”, exists constants, bound,

Let $B_t$ be a standard Brownian motion. Let $J(j, n) = [j/n, (j+1)/n]$. We will call $J(j, n)$ an increase interval if$$B_s \le B_t,\text{ }0 \le s \le {j\over{n}},\text{ }{{j+1}\over{n}} \le t \le ...

**7**

votes

**1**answer

199 views

### Brownian motion, crossing intervals, possible usage of second moment method?

This is a followup to my question here.
Let $B_t$ be a standard Brownian motion. Let $E_{j, n}$ denote the event$$\left\{B_t = 0 \text{ for some }{{j-1}\over{2^n}} \le t \le ...

**1**

vote

**0**answers

26 views

### The jump set of $SBV$ function over a hyper surface

Assume $\Omega\subset \mathbb R^N$ is open bounded, smooth boundary. Also assume $S\subset \Omega$ is a smooth hyper surface such that $0<\mathcal H^{N-1}(S)<+\infty$.
Now, given a positive ...

**2**

votes

**0**answers

58 views

### Hermite interpolation

I need a help to my problem, I would be grateful if anyone could help.
Let $\epsilon \in [0,1]$ and for an integer $n$ we consider a set of nodes $T_n={t_0,t_1,....t_n}$.
We define the function ...

**3**

votes

**0**answers

95 views

### What subdomains of $\mathbb{R}^2$ are diffeomorphic to $\mathbb{R}^2_+$ via rational functions?

For what subdomains $D \subset \mathbb{R}^2$ does there exist a rational diffeomorphism $h:D \to \mathbb{R}^2_+$, such that its inverse is also a rational function? (By "rational function" I mean a ...

**1**

vote

**1**answer

87 views

### Equivalent measures on algebra also equivalent on $\sigma$-algebra?

Suppose $\mu$ and $\nu$ are finite positive measures on a measurable space $(X,\mathcal A)$. Let $\mathcal G$ be an algebra of $\mathcal A$. If $\mu$ and $\nu$ are equivalent on $\mathcal G$ in the ...

**11**

votes

**4**answers

424 views

### Number of intervals needed to cross, Brownian motion

Let $B_t$ be a standard Brownian motion. Let $E_{j, n}$ denote the event$$\left\{B_t = 0 \text{ for some }{{j-1}\over{2^n}} \le t \le {j\over{2^n}}\right\},$$and let$$K_n = \sum_{j = 2^n + 1}^{2^{2n}} ...

**11**

votes

**2**answers

854 views

### On Hamkins' answer to a problem by Michael Hardy

Based on a post by Michael Hardy and Hamkins' answer to it Andreas Blass, Will Brian, Joel Hamkins, Michael Hardy and Paul Larson introduced a new cardinal characteristic of the continuum ...

**2**

votes

**0**answers

173 views

### Can one integrate around a branch-cut?

How meaningful is it to try to integrate around the branch-cut of a function?
For example lets say I have the function $\log(z^2+a^2)$ for $a>0$ and I choose my branch-cuts to be starting at $\pm ...

**6**

votes

**2**answers

122 views

### For which $r > 0$ is it the case with probability one, for all $n$ sufficiently large $M_n \le r\sqrt{\log n}$?

Let $B_t$ be a standard Brownian motion. Let$$M_n = \max\{|B_t - B_{n-1}| : n - 1 \le t \le n\}.$$For which $r > 0$ is it the case with probability one, for all $n$ sufficiently large$$M_n \le ...

**1**

vote

**0**answers

59 views

### Characterization of certain families of functions

For $R$ equal $\mathbb{R}$ or $\mathbb{Z}$, let $D^+_R:=\{(x,y)\in R^2\colon x<y\}$. For each natural $n$, let $F_{n,R}$ denote the set of all Borel-measurable functions $f\colon ...

**5**

votes

**3**answers

655 views

### A definition of the fractional derivative

I was investigating the idea of fractional derivatives and devised the following definition. WHich definition is it equivalent to and can I have a reference for it?
$$\frac{d^n}{dx^n}f(x) = \lim_{h ...

**3**

votes

**0**answers

385 views

### “Nicely” strong measure zero sets

This question is essentially an expanded version of the unanswered half of Two strengthenings of "strong measure zero".
A set $X$ of reals is strong measure zero if, for any $f: ...

**0**

votes

**0**answers

75 views

### Composition algebra of Gevrey function for $s<1$

Let $g,f$ be real-valued functions defined on the real line. Let $s$ be a real number.
Assuming that $g,f$ are both in the Gevrey class $G^{s}$, it is true that $g\circ f$ belongs to $G^{s}$ if $s\ge ...

**2**

votes

**0**answers

70 views

### Construct a sequence of i.i.d random variables with a given distribution function, diagonalization? [closed]

Assume we have a sequence of i.i.d. random variables $X_1, X_2, \dots,$ on a probability space $(\Omega, \mathcal{F}, P)$ with$$P(X_n = 1) = P(X_n = -1) = {1\over2}.$$Given a distribution function ...

**1**

vote

**0**answers

97 views

### A Question about compactness of an embedding into $L^p$ spaces

Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} ...

**19**

votes

**3**answers

412 views

### Which partitions of $[0,1]$ are collection of level sets of a real continuous function?

Let $f:[0,1]\to[0,1]$ be given. The level sets of $f$ (ie the collection of all sets of the form $\{x\in[0,1]:f(x)=y\}$, for each fixed $y\in[0,1]$) partition the domain of $f$. I am curious for set ...

**5**

votes

**2**answers

299 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} = ...

**9**

votes

**1**answer

186 views

### Does a monotone subadditive $f: \mathcal{P}(\bf N)\to [0,1]$ admit a finite partition with values in $(0,1)$?

A function $f\colon \mathcal{P}(\mathbf{N})\to [0,1]$ is said to have the Darboux property whenever for all $X \subseteq \mathbf{N}$ and $y \in [0,f(X)]$, there exists $Y \subseteq X$ such that ...

**5**

votes

**1**answer

141 views

### Standard Brownian motion, Hölder continuous with exponent $\gamma$ for any $\gamma < 1/2$, not for any $\gamma \ge 1/2$

In some results on Hölder continuity with regards to standard Brownian motion, the following is asserted without proof.
It is not hard to see that for every $k < \infty$, and every $\epsilon ...