Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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)$...
arc's user avatar
  • 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&...
Alex's user avatar
  • 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 ...
digiboy1's user avatar
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, ...
Jeff's user avatar
  • 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)|<\...
James Murphy's user avatar
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 ...
expmat's user avatar
  • 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}. $$ ...
guacho's user avatar
  • 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 ...
Horizonto's user avatar
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 ...
esperanto's user avatar
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}-...
Uchiha's user avatar
  • 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 : ...
Analysis Now's user avatar
  • 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}^...
C.C. Lau's user avatar
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)$? ...
James Propp's user avatar
  • 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 ...
Ali Reza's user avatar
  • 1,788
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- \...
Ravi's user avatar
  • 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:= ...
AAAA's user avatar
  • 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$ ...
Sergei Akbarov's user avatar
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 ...
Samuele's user avatar
  • 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 ...
Yuval Filmus's user avatar
  • 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 ...
zzzhhh's user avatar
  • 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 ...
user17240's user avatar
  • 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 ...
Ben Golub's user avatar
  • 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}...
David's user avatar
  • 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-...
Michael's user avatar
  • 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 ...
Elwood's user avatar
  • 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\...
Mario's user avatar
  • 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\...
Peng's user avatar
  • 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 ...
John Horton's user avatar
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 ...
juror's user avatar
  • 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 "...
S. Donovan's user avatar
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 ...
Clark T.'s user avatar
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. ...
nb1's user avatar
  • 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(\...
Eric's user avatar
  • 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)...
Henrique's user avatar
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-...
mikew's user avatar
  • 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-...
Josh's user avatar
  • 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$...
Roberto López-Valcarce's user avatar
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\...
CodeGolf's user avatar
  • 1,835
1 vote
1 answer
420 views

density of a set

let $S=\{\sin (n)|n \in N\}$. We can prove $S$ is dense in $[-1,1]$. So is the set $\{\sin( n^2)|n \in N\}$; but the set $\{\sin (n^3)| n \in N\}$ is not dense in $[-1,1]$. How to prove this?
gubo's user avatar
  • 11
2 votes
1 answer
276 views

Conformal Extension from a closed set to open

Let $Q = \{(x,y): x,y\geq 0\} $ be the 1st quadrant of $\mathbb R^2$, and $f$ is a function defined on it such that all the partial derivative(any order) of $f$ exists and continuous. By Whitney ...
zapkm's user avatar
  • 541
2 votes
0 answers
495 views

Characterization of weak Lebesgue spaces [closed]

I would be interested to know whether the following is true: Let $\Omega$ be a bounded open set in $\mathbf{R}^n$. Let $g$ be a nonnegative function $g : \Omega \to \mathbf{R}$. If there is a ...
vizietto's user avatar
  • 373
1 vote
2 answers
641 views

Sharp upper bounds for sums of the form $\sum_{p \mid k} \frac{1}{p+1}$

Are there known sharp upper bounds (in terms of $k$ or $\omega(k)$, the number of distinct prime divisors of $k$) for sums of the form $\sum_{p \mid k} \frac{1}{p+1}$ for $k > 1$ subject to the ...
user02138's user avatar
  • 595
0 votes
0 answers
244 views

Checking whether this would be bounded

It may be better to post this question here. Assume that $M$ is an $m$ by $m$ ($m$ is an even number) symmetric positive-semi-definite matrix with exactly $m/2$ positive eigenvalues and every entry of ...
io0's user avatar
  • 1
2 votes
0 answers
131 views

Representing quasianalytic functions in several variables

For functions in a quasianalytic Denjoy-Carleman class we have the property that their Taylor expansions at a point (the origin) determines the function. For classes that don't only contain analytic ...
O.R.'s user avatar
  • 807
3 votes
0 answers
47 views

Limit Behavior of Iterated Curvature-Function

What can happen, if one defines an infinite sequence of functions as follows $f_0\in C^\infty: x\in\mathbb{R}\mapsto y\in\mathbb{R}$ $f_{n+1}: \int_0^x \sqrt{1+(f_n'(t))^2}dt\mapsto\frac{f_n''(x)}{\...
Manfred Weis's user avatar
  • 13.2k
3 votes
0 answers
409 views

Continuous function sort

If you have a real-valued function f(x), positive, continuous and bounded on some interval, then what kind of transform would convert this to a monotonic function g(x) on that interval analogously to ...
user19172's user avatar
  • 529
1 vote
0 answers
42 views

Error bounds for approximation with dyadic sums of polynomials

Are there any bounds known for approximating a genuine multidimensional polynomial function with a sum one-dimensional polynomials over the independent variables? In the 2-dimensional case the ...
Manfred Weis's user avatar
  • 13.2k
0 votes
1 answer
238 views

A property of a quasiperiodic function

Let F be a continuous periodic function on R^N. Let a,b be vectors in R^N. Also assume a is not parallel to b. Does the limit of $\varepsilon \int_0^{1/\varepsilon} F(as+b/\varepsilon) ds$ Exist ...
dcs24's user avatar
  • 213
6 votes
1 answer
778 views

Inverse function theorem for DC-functions

I would like to have an inverse (or/and) implicite function theorem for DC-functions. It seems that I have right definitions, but I fail to prove it... Definitions: Let $h:\mathbb R^n\to\mathbb R$ ...
Anton Petrunin's user avatar
1 vote
1 answer
168 views

Mollification with prescribed boundary values

Suppose you are given a $C^1$-function $f:\mathbb R^n\to\mathbb R$ which restricts to a smooth function $f|_{\partial B}:\partial B\to \mathbb R$, where $B$ is the unit ball in $\mathbb R^n$. Can one ...
Mike's user avatar
  • 11