All Questions
5,848 questions
3
votes
1
answer
500
views
Hausdorff measure on product spaces of p-adic integers
This question came up (unexpectedly) in a problem I was working on a few years ago. It may not be too difficult but I never got around to figuring out the answer, because all I needed at that time was ...
- 1,723
2
votes
1
answer
137
views
Young transform reference
The Young transform of nonnegative function $f(x)$, $x \in \mathbb R^n_+$ is defined to be
$$
(\mathscr Yf)(y) = \inf \left[ \left. \frac{x_1 y_1 + \ldots + x_n y_n}{f(x)} \; \right|\; x \colon f(...
- 1,329
0
votes
1
answer
937
views
Lebesgue's Majorized Convergence Theorem
Can anyone point me to an explanation and a proof of this theorem?
For reference, it is mentioned in Kolmogorov's almost everywhere divergent function in $L$ as given in Zygmund, volume I. In the ...
- 505
1
vote
1
answer
100
views
Estimating a quantity from an estimate in its integral
I am reading a paper in which the following argument is made. We have two positive real valued functions $f(x)$ and $g(x)$. We know that $$\int_0^x \int_0^y f(z) \ dz \ dy \leq g(x).$$
It is then ...
- 13
1
vote
0
answers
92
views
vector space of ternary forms with real rooted property
Let $V \subseteq \mathbb{R}[x,y]_d$ be a two dimensional linear subspace of the vector space of bivariate forms of degree $d$. For each degree $d$ we can find such subspaces with the property that ...
- 3,031
0
votes
1
answer
302
views
An interpolation inequality.
For all $s>0$ define for $\epsilon\in(0,1)$ the function:
\begin{equation}
g(\epsilon)=\sum_{k=0}^{\infty}(1+k)^s(\sqrt{1-\epsilon})^k.
\end{equation}
Prove that $\exists C>0$ and $\phi(s)$ such ...
- 45
2
votes
1
answer
208
views
Does a particular iteration produce a weak solution to a non linear pde?
Consider the following non linear pde in the unknown $v(x,y)$:
$$ \frac{\partial v(x,y)}{\partial x} +
\Big(\frac{\partial v(x,y)}{\partial x} \Big)^2 = e^{2 ty}-1 $$
where $t$ is some fixed small ...
- 3,245
4
votes
1
answer
319
views
Concerning strata in $C^\infty(M)$
The Morse functions are dense in $C^\infty(M)$, and you can ask if a 1-parameter family of smooth functions between two given Morse functions will be a homotopy through Morse functions. Well, Cerf ...
- 17.5k
4
votes
0
answers
340
views
Viscosity solution of the PDE
Let $\Omega$ be bounded domain, $u=0$ on $\delta\Omega$ and
$$|Du|-f(x,u)=0$$
where $f\ge 0$ and $f$ is strictly monotone for fixed $x.$ I am looking for the reference to show that it has unique ...
- 61
1
vote
2
answers
450
views
A smoothness of $f(\sqrt[p] x)$
Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a smooth function let $p \in \mathbb{N}$, $p \geq 2$.
Assume that $f^{(k)}(0)=0$ for all $k \notin p \mathbb{N}$. Is it true that then $g(x)=f(\sqrt[p] x)$...
- 277
0
votes
0
answers
382
views
Lambert W-function
I asked this question MSE, but didn't get any answers. Maybe here someone can help.
I need to solve
$$
\theta \rho^{\theta}+r \theta>v
$$
where $\theta \in \mathbb{R}^{+}, -1 < r,v<1, \ 0&...
- 151
1
vote
0
answers
138
views
Bound for a certain integral expression
I am working to establish an estimate in $X^{s,b}$ spaces to prove local well-posedness of a certain equation, and I need to consider some sub-cases. In particular, I wish to show that the following ...
- 41
0
votes
1
answer
341
views
Length of intersection of intervals
Can anyone prove this statement? It seems true, but I'm finding it tricky to give a concise proof.
Fix $\alpha\in[0,1]$. Let $\mu$ be Lebesgue measure. Define $B(c,r)\equiv[c-r,c+r]$, where $[\cdot, ...
- 500
2
votes
0
answers
161
views
Improving a bound from Taylor's Theorem
For this problem, suppose $g:\mathbb{R}\rightarrow\mathbb{R}$ is such that $g\in\mathcal{C}^{k}(\mathbb{R})$, and there exists $\epsilon>0$ such that
\begin{align*} \epsilon<|g^{(k)}(x)|<\...
- 21
0
votes
1
answer
224
views
Special functions on the unit disk
Let $\mathbb{D} = \{ (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 < 1 \}$ be the unit disk.
We say a function $f : \mathbb{D} \rightarrow \mathbb{D}$ is a winner if it satisfies the following:
1) it is a ...
- 1,271
1
vote
0
answers
184
views
A bound for a product in BMO
The question: Let's consider $f\in L^\infty(\mathbb{T})$ and $g\in BMO(\mathbb{T})$. I'm trying to figure out if the following inequality is true
$$
\|fg\|_{BMO}\leq C\|f\|_{L^\infty}\|g\|_{BMO}.
$$
...
- 843
1
vote
0
answers
196
views
Extension of diffeomorphisms preserving bilateral bounds of the derivatives
Suppose $f$ is a $C^k (1\leq k\leq\infty)$ function from the unit ball $\mathcal{B}$ in $\mathbb{R}^n$ to itself, which is a diffeomorphism from the domain to its image, with the upper and lower ...
- 31
1
vote
0
answers
35
views
Concavity of maxima [closed]
Suppose we have the following optimization problem : $\min\limits_x kf(x) + g(x)$ where $f$ is a decreasing convex function in $x$ and $g$ is an increasing convex function. Can we say that $x^*$ is ...
- 11
2
votes
0
answers
112
views
Asymptotic analysis involving a circular multiple integral
Let $t_1,\ldots,t_m>0$, and $m\ge 4$ be an even integer. Consider the function:
$$
f(a,b;\mathbf{t})=\int_0^{t_1}\ldots\int_0^{t_m} |x_1-x_m|^a |x_2-x_1|^b |x_3-x_2|^a |x_4-x_3|^b \ldots |x_{m-1}-...
- 87
1
vote
1
answer
199
views
On a limit at the boundary of $\mathbb{D}$ related to complex and harmonic analysis
Let $p(z,t)=\frac{1}{2\pi}.\frac{1-|z|^2}{|z-t|^2}$ be the Poisson kernel on the open unit disk $\mathbb{D}$, fix $0<\alpha<1$ . Let $a\in \partial\mathbb{D}=S^1$ be fixed. Then my question is :
...
- 1,471
2
votes
1
answer
115
views
Convex interaction energy
Does anybody know examples of absolutely continuous probability measures $\mu_0,\mu_1$ on $\mathbb{R}^n$ with finite 2nd moments such that
$$
\frac{d^2}{dt^2}\left(\int_{\mathbb{R}^n\times \mathbb{R}^...
- 21
5
votes
0
answers
143
views
Error of midpoint method for differentiable functions
Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$?
...
- 19.7k
0
votes
3
answers
404
views
Some Questions about zero-dimensional subsets of the unit interval related to cantor set
Let $\mathbb{P}$ denote the set of all irrational numbers in the open segment$(0 , 1)$. let $K$ be the intersection of $\mathbb{P}$ and the standard cantor set and $H=\mathbb{P}-K$. as you know these ...
- 1,788
2
votes
0
answers
1k
views
Can we pass to the limit in Poincaré-Jaynes-Bretthorst interpolation and deconvolution?
In Science and Hypothesis, chapter XI, The calculus of probabilities, Henri Poincaré deals informally with the fundamental problem of interpolation. He concludes (see http://ia600308.us.archive.org/21/...
0
votes
2
answers
168
views
Let f:J→R be an absolutely continuous and f'\in...?
Let $f:J\rightarrow \mathbb{R}$ be an absolutely continuous.
Under what kind of extra condition for $f'$, (not $C$) holds the following relation?
$$
\Big | \frac{1}{|I_{1}|}\int_{I_{1}}f'(x)dx- \...
- 111
0
votes
1
answer
265
views
H\"older spaces
In Gilbarg and Trudinger, they have an example where a function is in $C^1(\bar\Omega)$ but not in $C^\alpha(\bar\Omega)$ where $\alpha<1$. $\Omega$ is bounded and is defined as follows
$\Omega:= ...
- 3
1
vote
0
answers
59
views
Analogs of the paralleloram identity in higher degrees
I asked this two months ago in MSE, but nobody answered, so I hope it will be suitable here.
A homogenious polynomial of degree $k\in{\Bbb N}$ on a finite dimensional vector space $X$ over $\Bbb R$ ...
- 7,426
2
votes
0
answers
564
views
Young inequality in weighted spaces
Let $U$ be a bounded open set in $\mathbb{R}^2$, $g\in L^1_{\mathrm{loc}}(\mathbb{R}^2)$.
Let moreover $w$ be a weight (i.e. a non vanishing locally integrable function) on $U$ and $p\geq2$.
Does ...
- 1,205
7
votes
0
answers
174
views
On derivatives of polynomials majorized by $\max(1,|x|^d)$
In the course of generalizing the Bernstein-Markov theorem to normed space, Harris came up with the following question.
Suppose that $p$ is a real polynomial satisfying $|p(x)| \leq (1+|x|)^d$. How ...
- 1,906
0
votes
1
answer
1k
views
A question about regular signed or complex Borel measure under LRN decomposition
Suppose $\nu$ is a regular signed or complex Borel measure on $\mathbb R^n$, m is the Lebesgue measure on the class of Borel sets $\mathcal B_{\mathbb R^n}$ and the Lebesgue-Radon-Nikodym ...
- 764
4
votes
2
answers
730
views
Decomposition of Hölder continuous functions
Let $\alpha\in(0,1)$ and $\eta\in\Lambda_0^\alpha(\mathbb{R})$ be a compactly supported Hölder continuous function of order $\alpha$. I would like to show that, for any $n\in\mathbb{N}$, it is ...
- 852
1
vote
1
answer
223
views
f_n(x,p) converge uniformly to nice f(x,p); do zeros of f_n(.,p) converge uniformly to zeros of f(.,p)?
Fix compact intervals $X, P \subseteq \mathbb{R}$.
Let $f_n : X \times P \to \mathbb{R}$ be a sequence of $C^2$ functions converging uniformly to a $C^2$ function $f$. The first and second ...
- 1,068
-3
votes
1
answer
332
views
Convergence Question [closed]
If $\alpha _{n}\rightarrow \alpha$, then how does one show that for any j=1,2,... and $\epsilon> 0$, if $sup\int \left | x \right |^{j+\epsilon }d\alpha _{n}<\infty$, then $\int x^{j}d\alpha _{n}...
- 1
2
votes
1
answer
90
views
Expressions in "continued" monotone functions
Recall continued fractions: http://en.wikipedia.org/wiki/Continued_fraction
Now take a look at this question: https://math.stackexchange.com/questions/601846/the-limit-of-displaystyle-lim-n-to-infty-...
- 2,205
1
vote
0
answers
94
views
Estimating convolutions of powers
I would like an asymptotic estimate of
$$
\sum_{y \in \mathbb{Z}^d} \frac{1}{|y-a_1|^{d-1} \ldots |y-a_n|^{d-1}}
$$
that does not involve any infinite summation. In order to lighten the notation, I ...
- 562
0
votes
0
answers
241
views
Continuity of a function
Let $f\in L^2(\mathbb{R}^3)$ with compact suppport and $z\in\mathbb{C}$. Is the following function continuous for $z\in Q = \{ z : \Re z\in [a,b], \Im \sqrt{z} \in (0,1] \}$:
$$ F(z)=\bigg(\alpha-i\...
- 71
3
votes
0
answers
205
views
convolution of surface measures
Thanks for reading my question. Assume we are given two compact (possibly with boundary) $(n-1)$-dimensional $C^{\infty}$ manifolds $M_1$ and $M_2$ embedded in $\mathbb{R}^n$, with induced measure $d\...
- 171
1
vote
1
answer
279
views
Conjecture that two nested convex curves have a point with the same slope
I'm trying to prove a conjecture and need some help.
Consider a continuous, twice differentiable function $p(a)$ such that $p(0) = 0$ and $\forall a$, $p'(a) > 0$ and $p''(a) < 0$ and $p$ is ...
- 317
1
vote
0
answers
60
views
Stochastic independence of columns of projection matrix to the rest of the columns of a random matrix
First let me describe the setting of the problem.
I have a random matrix $A\in \mathbb{R}^{m\times n},\ (m<n)$ with $a_{ij}\sim \mathcal{N}(0,I)$ i.i.d. Let there be a given set of $K (K<m)$ ...
2
votes
2
answers
861
views
Spectral gap of a product of Markov processes
For $m \in [N] \equiv \{1,\dots, N\}$, let $Q^{(m)}$ be the generator of a (well-behaved) continuous-time Markov process on a finite state space $[n_m]$. Write $J \equiv (j_1,\dots,j_N) \in \prod_m [...
- 15.4k
1
vote
0
answers
52
views
Condition for maximizer of convex combination to be expansion mapping
I have $\Pi_n:\mathbb R^{n+1}\rightarrow \mathbb R$ and $F_n:\mathbb R^2\rightarrow \mathbb R$ with $$F_n(x,a)=\Pi_n(x,...,x,a)$$
$$f_n(x)=\operatorname{ArgMax}_{a\in\mathbb R}\{F_n(x,a)\} $$
such ...
- 43
2
votes
1
answer
1k
views
How can we use the bounded convergence theorem in this proof of the Riesz Representation Theorem?
I'm studying the proof of the Riesz Representation Theorem as it appears in Ch. 6 of Royden's Real Analysis. When I looked on the web I noted there are a few different theorems that go by the name "...
- 466
1
vote
0
answers
102
views
Differentiable Path of Operators and their Inverses
Let $\mathcal{H}$ be a separable Hilbert space. Consider a differentiable map $\mathbb{R} \rightarrow \mathcal{B}(\mathcal{H}), t \mapsto A(t)$, where $\mathcal{B}(\mathcal{H})$ is the space of ...
- 11
0
votes
1
answer
659
views
Under what condition will this set contain a limit point of [0,1)?
Let $T_1,T_2,....T_n$ be numbers such that
$T_k= k$ no. of digits in decimal expansion of an irrational number, say $\alpha$, starting from $(\frac{k(k-1)}{2}+1)^{th}$ digit in the decimal expansion. ...
- 230
0
votes
1
answer
316
views
Modulo dynamics on [0,1)
For $T: \mathbb{R} \mapsto \mathbb{{R}_{+}}$, we have $\{ {T}^{n}(\theta)\ mod \ 1\} \subset [0,1)$. (where ${T}^{n}(\theta)$ means applying $T$ $n$ times on $\theta$, not the $n$th power of $T(\...
- 2,619
0
votes
1
answer
298
views
Asymptotic behavior of convex functions
Let $f:\mathbb{R}^n\rightarrow\mathbb{R}$ be a $C^2$ convex function which is strictly
positive. If $x_n$ is a sequence of points such that $f(x_n)\rightarrow 0$, show that (or
give a counterexample)...
- 3
1
vote
0
answers
94
views
Determining the exact form of a projection in a Hilbert space
Let $$\Omega = \left\{f(x) \in \mathcal{L}^2[0,T]: \frac{1}{T}\int_0^Tf(x)dx = \mu,~ a \le f(x) \le b,~\forall x \in [0,T]\right\},$$
where $\mathcal{L}^2[0,T]$ is the set of Lebesgue square-...
- 108
1
vote
1
answer
158
views
variational characterization of the average of an $L^p$ function
Let $\Omega$ be a measurable set having finite Lebesgue measure. Let $p\geq 1$ and $u\in
L^p(\Omega)$. Is it true that the minimum value of the real function
$$
c\in
\mathbb{R}^n\mapsto\int_\Omega |u-...
- 13
0
votes
1
answer
155
views
Ratio of eventually close sequences
Let $a_n$,$b_n$ with $b_n>0$ be two bounded sequences which are eventually close to, respectively, two other sequences $\bar a_n$,$\bar b_n$ with $\bar b_n>0$, that is, for every $\epsilon >0$...
2
votes
0
answers
76
views
question about a genralized Skorokhod topology
Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
$$\rho(f,g):=\inf_{\lambda\in\Lambda}\Big\{\max\...
- 1,835