The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
30 views

Extension of a smooth function to a small neighborhood of a cone

Let $C\subset\mathbb{R}^n$ be an open polysimplicial cone. Let $f$ be a smooth function on $C$ such that all its derivatives extend by continuity to $\overline{C}$ (the closure of $C$). Does this ...
2
votes
0answers
89 views

Does this symmetrization operator have a name? Any theory?

Consider a function $f(x_1,\ldots,x_n)$ of $n$ complex variables. Define $$f_{\mathrm{symm}}(x_1,\ldots,x_n) = 2^{-n}\sum_{\varepsilon_1,\ldots,\varepsilon_n=\pm 1} ...
0
votes
0answers
85 views

How do I prove this statement about the operator norm? [on hold]

I stumbled across this equation in a paper, but I can't find the paper any more and I'm not sure if I remember it correctly. By definition of an operator norm, $$\left[(D^*D)^{-1} - ...
1
vote
0answers
83 views

Generating the sigma algebras on the set of probability measures

I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and ...
3
votes
3answers
286 views

Find an integrable, positive, unbounded, analytic function

Is there a standard example of a function $f \in L^1( \mathbb R)$ which is analytic, positive, integrable but not bounded? An example which comes immediately to mind is to take the series of narrower ...
2
votes
1answer
116 views

Legendre transform and Lipschitz approximation

Let $(X,d)$ be a compact metric space and $f:X \to \mathbb{R}$ a real valued continuous function. Let us agree that a modulus of continuity means concave, nondecreasing, uniformly continuous function ...
7
votes
2answers
175 views

Recent trends in effective analysis

The references listed at http://en.wikipedia.org/wiki/Computable_analysis have all been published 30-15 years ago. Are the approaches which these references expose still up-to-date and relevant to the ...
0
votes
0answers
43 views

About the selection of reals $u_0,u_1$ such that $u_{n}$ is a positive integer

Let $r\geq 4$ and $n≥1$ be two positive integers. Let us consider the sequence $(u_{n})$ defined by: $$u_{n}=r^{n^2}\sum_{m=1}^{n}\frac{u_1-ru_0+2(m-1)}{r^{m^2}}+u_0$$ where $u_0,u_1$ are real ...
1
vote
1answer
126 views

Sequence of smooth maps converging to the identity [on hold]

Let $\{g_{n}:B_{1}(0) \rightarrow \mathbb{R}^{2}\}_{n\in \mathbb{N}}$ be a sequence of smooth maps where $B_{1}(0)=\{x\in \mathbb{R}^{2} \mid |x|<1\}$ is the unit ball in $\mathbb{R}^{2}$. Assume ...
0
votes
1answer
53 views

Are Carnot groups (as Carnot Caratheodory metric spaces) doubling?

I need to use the Lebesgue differentiation theorem for doubling metric measure spaces and was wondering if Carnot groups are doubling. If yes, is there any reference you can point me to? Thank you.
4
votes
0answers
99 views

Characterizations of an exotic measure on the open sets in the circle $S^{1}$

Suppose that $U\subseteq S^{1}$ is open where $S^{1}=\{z\in\mathbb{Z}:|z|=1\}$. Then define $\mu_{n}(U)=\max_{t\in S^{1}}\frac{1}{n}\cdot|\{k\in\{1,...,n\}|t\cdot e^{\frac{2\pi ik}{n}}\in U\}|$. ...
0
votes
0answers
72 views

Discrete measures and discrete kernels

This is a cross-post from math.stack. Let $d\in\mathbb N$ and $\mu$ be the probability measure on $\mathbb R^d$ defined by $\mu=\sum_{k=1}^\infty 2^{-k}\delta_{x_k}$ for some sequence ...
0
votes
1answer
131 views

A question on the Lebesgue differentiation theorem

In the paper [Jessen, B., Marcinkiewicz, J., and Zygmund, A. Note on the differentiability of multiple integrals. Fundamenta Mathematicae 25.1 (1935): 217-234] it is considered the limit $$ ...
3
votes
2answers
253 views

Number of critical points of smooth functions on $S^1$

Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?
2
votes
0answers
75 views

Volume of bounded regions in hyperplane arrangements

I am given a hyperplane arrangement $\mathcal{H}_0$ in $\mathbb{R}^n$ and a function $\phi \colon \mathbb{R}^n \to \mathbb{Q}.$ I choose any enumeration on the set of primitive vectors (i.e. vectors ...
2
votes
0answers
83 views

Under what conditions do time averages of ergodic transformations satisfy a central limit theorem?

Let $(X, \mu)$ be a probability space and $T:X\rightarrow X $ an ergodic transformation, i.e. $T$ is measure preserving and the only $T$ invariant subspaces have either measure $0$ or measure $1$ ...
1
vote
0answers
373 views

Can one generate a sequence of natural numbers whose density has a given distribution? [migrated]

Suppose $\{ p_{k} \}$ is a collection of real numbers with the following properties: 1) $p_k \in (0,1)$ $~~~~$(i.e. $0$ and $1$ are not allowed values) 2) $\sum_{k=1}^{\infty} p_k =1$ An ...
3
votes
1answer
138 views

Is this parametric inequality true?

Puzzled by this still open question, I tried comparing the arithmetic mean $A(x,y)=(x+y)/2$ with a mean intermediate between a geometric-type mean $G(X)=(x^a y^{1-a}+x^{1-a} y^a)/2\;$ for $0\le a \le ...
5
votes
2answers
178 views

Continuous functions with convex level sets

Assume that $f:\mathbb{R}^{2}\to \mathbb{R}$ is a continuous function such that each level set $f^{-1}(c)$ is a convex set. To what extent such functions are studied? In particular: Is there ...
2
votes
0answers
79 views

Regularity of Dirac measure on Baire sets [closed]

Suppose $X$ is a locally compact Hausdorff space. Define the Baire sets in $X$, denoted by $\mathcal Ba(X)$, to be the smallest $\sigma$-algebra that contains all compact $G_\delta$ subsets of $X$. ...
1
vote
3answers
282 views

Decompose the Laplacian

Is there a way to write the negative Laplacian on the 2-sphere as a decomposition of an operator $A$ and its adjoint $A^*$? I am interested in finding such a decomposition, but I could not get one by ...
7
votes
0answers
274 views

About the first decimal of $\sqrt {n!}$

Do we have : $$\sup\{\sqrt {n!} - E(\sqrt {n!}); n\in I\!\!N\}=1?$$ Where $E(\cdot)$ is the integer part function, and $n!=1\times 2...\times n$.
0
votes
0answers
58 views

variation norm of a Fourier transform

Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in ...
1
vote
1answer
169 views

A calculus question related to the nonnegative definite functions

I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that $$ \int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge ...
4
votes
1answer
412 views

Elementary Proof of the Uniqueness of Smooth Structures on R

Is there any 'elementary' proof of the uniqueness of smooth structures on $\mathbb{R}$? By elementary, I mean that the proof does not use any sophisticated topological machinery. In particular, I'm ...
-3
votes
1answer
174 views

Hilbert space vector representation for data in a metric space. Where am i wrong in this experiment?

Consider the function space $M$ such that all its elements are of bounded variation, square integrable and of unit norm. An equivalence class is defined over this set as, $f \sim g$ iff for some ...
1
vote
1answer
220 views

Nepero game (by Yacov Perelman)

I have already posted this question time before on stackexchange, but didn't receive a definitive solution. So this is the game: consider a positive integer number $n$ and divide it in a finite ...
1
vote
0answers
103 views

Is it possible to improve the order of convergence of averages of random variables if they are not identically distributed?

Let $X_n$ be a sequence of independent random variables (but not necessarily identically distributed) taking values in $[-1,1]$ that have the following property: 1) The average $A_n := \frac{(X_1+ ...
0
votes
1answer
42 views

Precompactness of a sequence of convex functions

Suppose we have a bounded convex open set $\Omega$ in $\mathbf{R}^n$,and a sequence of convex functions $P_n$ such that $||P_n||_{L^2(\Omega)}\leq C\forall n$.Is it possible to find a subsequence ...
0
votes
0answers
69 views

Asymptotic Expansion of Double integral

Crosspost from math.stackexchange. Have a look at the great answers there, even though they do not quite answer the question completely. Define $$G(\theta) = \int\limits_0^\infty \int\limits_0^{2\pi} ...
10
votes
1answer
420 views

Metric $d(A,B) = \mathbb P(\overline A\cup\overline B\mid A\cup B)$

I'm wondering where the relative probabilistic distance was first studied: $$d(A,B) =\mathbb P(\overline A\cup\overline B\mid A\cup B)$$ where $\overline A$ is the complement of $A$. A web search ...
-1
votes
1answer
124 views

What is the advantage of the knowledge of jumps for approximating a function with trigonometric polynomials?

Let $f:(a,b)\to\mathbb{R}$ be square integrable, bounded variation and piecewise continuous function. Let the points of jump be $\{x_i/a<x_i<b,i = 1,2,3,...n\}$. The goal is to approximate the ...
0
votes
0answers
28 views

Uniform continuity in the first variable on compacts w.r.t the other variables for a continuous function

It is a notational doubt. I have seen the following notation in a book for the continuous function $f$: $f(.,.):\Bbb R^d \times \Bbb R^d \to \Bbb R$ is uniformly continuous in the first argument on ...
3
votes
2answers
339 views

Looking for some function

Is there a continuous function $F: R\to R$ such that $F$ is a surjection but not an injection, $F(Q)\subset Q$ and the restriction $F: Q\to Q$ is an injection, but not a surjection. Here $Q$ denotes ...
1
vote
0answers
205 views

On the remainder term in Taylor's formula [closed]

(1) What are the main differences, in terms of "usefulness" while solving problems (even at research level), among Cauchy, Lagrange, and Schlömilch's forms of the remainder in Taylor's formula? Could ...
12
votes
2answers
1k views

New research and re-discovering classic results in “basic” real analysis

Sometimes, it happens that researchers publish a new proof of an old well-known result in "basic real analysis" (I'm referring to what some American people may call "honors calculus"). For instance, ...
5
votes
0answers
19 views

Cusp point and straightness of a smooth curve.

I have a smooth curve of length $L$ with a single cusp point $P$ occuring at length $s = L_P$. Let the curve in arc length parametrization be $\alpha_t(s) \equiv (X_t(s),Y_t(s)) $. They are actually a ...
1
vote
0answers
46 views

Convergence of solutions of the volterra integral equation with convergent kernels

Consider the following Volterra integral equation $$ g(t) = \int_0^t K_n(t,s)w_n(s) ds $$ where g(t) and K_n(t,s) are continuous and $K_n(t,s)\geq K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ ...
8
votes
4answers
683 views

What does it mean when we say we have computed a number to a certain accuracy using a probabilistic algorithm?

My intention is to ask a general question about probabilistic (Monte Carlo) algorithms. But to keep things simple, I will focus on a few specific examples. Let me start the discussion with ...
11
votes
1answer
280 views

Are all well behaved “mean” functions on $\mathbb{R}^+$ equivalent?

Given a set $S$, a function $M: S\times S \rightarrow S$ is a mean if it satisfies the properties: $M(a,a)=a\qquad$ (identity) $M(a,b)=M(b,a)\qquad$ (commutativity). and possibly ...
3
votes
0answers
401 views

Two (strictly related) proofs by induction of inequalities

This is a question I originally asked on MSE, receiving no answer, even with a bounty (which expired) on it. Therefore I am crosslinking in order to prevent duplication of effort: see here for the ...
1
vote
0answers
68 views

Uniqueness of an embedding theorem for Real differential fields

I will follow a preliminary exposition for the problem in question, which will essentially follow the format on http://www4.ncsu.edu/~singer/papers/model_diff_fields.pdf [pg. 87]: Let $K$ be a real ...
-2
votes
1answer
151 views

Prove that $\sum_{a<n\le b}\{f(n)\}=\frac{1}{2}(b-a)+O(\lambda^{1/3}(b-a)+\lambda^{-1/2})$ [closed]

Let $a,b\in\mathbb{Z}$, and $f\in C^2([a,b])$ such that $|f''(t)|\asymp \lambda$ for $a\le t\le b$. Prove that $$\sum_{a<n\le b}\{f(n)\}=\frac{1}{2}(b-a)+O(\lambda^{1/3}(b-a)+\lambda^{-1/2}).$$ ...
0
votes
0answers
54 views

Baire sets in locally compact Hausdorff spaces

I posed this on 14 Dec. at http://math.stackexchange.com/questions/1067751/baire-sets-in-locally-compact-hausdorff-spaces, but there has been no response: (This is a follow-up to ...
3
votes
0answers
409 views

Question on a proof by Solonnikov,Ladyzhenskaya,Ural'tseva

I have already asked this question on Mathematics SE, because I suppose that it is not research level. But I haven't got an answer, possibly here someone can answer. Let $G(t,x)$ be the fundamental ...
1
vote
0answers
56 views

Schoenberg correspondence on $L^p$

Schoenberg correspondence states that $\psi: \mathbb R^d\longrightarrow \mathbb C$ is conditionally positive definite and hermitian if and only if $e^{t\psi}$ is positive definite for each $t>0$. ...
2
votes
1answer
185 views

Fourier transform of $sin(\frac{1}{x})$ for $x > 0 (x > 1)$

Please, give me the cue: does exist analytical representation of Fourier Transform of $sin(\frac{1}{x})$ for$ x>0$ (or $x>1$). Maybe exist an approximation of $FT(sin(\frac{1}{x}))$ by Bessel ...
0
votes
0answers
64 views

Implicit function theorem on boundary points

I have the following examples: (1) $xy-1=0$ with $x\ge 0$. By the implicit function theorem, we can solve when $x\in(0, \infty)$. Here on the boundary we have $y=\frac{1}{x}\rightarrow \infty$ as ...
0
votes
1answer
108 views

Surjectivity of “nice maps” from local properties

What tools are available from real algebraic geometry, analysis and topology to check surjectivity of a map $f:M_{1}\rightarrow\mathbb{R}^{d}$ from local properties and maybe function values? ...
1
vote
2answers
72 views

Finding conditions to guarantee existence of solutions to IVP [closed]

Consider the following IVP: $x'=f(t,x)$ and $x(0)=x_0$, where $x\in \mathbb{R}^n$ and $t\in \mathbb{R}$. Suppose that for all $(t,x)\in\mathbb{R}^{n+1}$, $|f(t,x)|\leq b(t) |x|^2$. In order for the ...