The tag has no wiki summary.

learn more… | top users | synonyms

23
votes
6answers
942 views

On an example of an eventually oscillating function

For $x\in(0,1)$, put $$f(x):=\sum_{n=0}^{\infty}(-1)^{n}x^{2^{n}}.$$ This function possesses interesting properties. It grows monotonically from $0$ up to certain point. Then it starts to oscillate ...
0
votes
0answers
26 views

Property of summations [on hold]

Suppose to have the following identity: $$ \sum_{i=i_0}^{i_1}\sum_{j=j_0}^{j_1} f(i,j) = \sum_{i=i_0}^{i_1}\sum_{j=j_0}^{j_1} f(i,j)g(i,j), $$ for 'good' indexes $i,j$ and some functions $f,g$. What ...
1
vote
1answer
34 views

Graph of bounded continous functions with distance 1

Let $V = \{f:[0,1]\to \mathbb{R}: f \text{ is continuous}\}$ and consider the metric that is defined for $f,g\in V$ by $$d(f,g) = \max\{|f(t)-g(t)|: t\in [0,1]\}.$$ We set $E = \{\{f,g\}: f,g \in ...
45
votes
16answers
10k views

f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential

The question is about the function f(x) so that f(f(x))=exp (x)-1. The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here ...
3
votes
3answers
375 views

Is there a reference for compact imbedding theory of Hölder space?

This question is posted and unanswered from math.stackexchange. Suppose $0 < \alpha < \beta$ and $\Omega$ is bounded. Then, the Hölder space $C^\beta(\Omega)$ is compactly imbedded to ...
1
vote
0answers
128 views

About real roots of complex multivariable polynomials

Let $f(z,w_1,w_2,..,w_n)$ be a multivarible complex polynomial mapping $\mathbb{C}^{n+1} \rightarrow \mathbb{C}$ and it has all real coefficients. Assume that this is "real-stable" i.e it has no roots ...
7
votes
3answers
293 views

Non-smooth function with all differences of translates smooth?

Suppose $f:\mathbb{R} \to \mathbb{R}$ has the property that for every fixed $t\in\mathbb{R}$ the function $$ g_t : x \mapsto f(x) - f(x-t) $$ is $C^\infty(\mathbb{R})$. Does it follow that $f$ is ...
0
votes
0answers
22 views

Interchange summation and differentiation [migrated]

I asked this question already on math.stackexchange, but did not receive any answers see here Let $f = \sum_{n=0}^{\infty} a_n e_n $ where $e_n$ are an ONB of $L^2[0,1].$ Now assume we have that ...
-2
votes
0answers
51 views

Good upper bound for an alternanting series [on hold]

Someone know a good upper bound for the partial sums of $S=\sum(-1)^{n+1}\sqrt{n}$? I mean how fast is the growth of this sum?
0
votes
0answers
18 views

Deriving inequalities from a polynomially-bounded derivative

In this paper (p. 2, definition/remark) the following notion of ‘polynomial growth’ is defined for a non-negative real function $g(x)$ and a real constant $b\in(0;1)$: There exist positive ...
1
vote
1answer
53 views

Hadwiger-Nelson problem in higher dimensions

Given a positive integer $n\in \mathbb{N}$ we define the Hadwiger-Nelson graph $\text{HN}_n$ by $V(\text{HN}_n) = \mathbb{R}^n$; $E(\text{HN}_n) = \{\{v_1, v_2\}: v_1, v_2 \in \mathbb{R}^n \text{ ...
1
vote
1answer
63 views

About preserving real-rootedness of multivariable polynomials

Say $f_i(z_1,z_2,..,z_m)$ are polynomials real rooted in the $z$s for a bunch of polynomials indexed by $i$. When can one say that $\sum_{i} p_i f_i(z_1,z_2,..,z_m)$ is also real rooted? If ...
1
vote
1answer
62 views

“Schwarz symmetrization” on annulus

If $\Omega=\{x\in \mathbb R^n| 0<r_0<|x|<r_1\}$ is an annulus on $\mathbb R^n$, I am looking for a symmetrization result on $\Omega$. To be precise, for any $u \in W_0^{1,2}(\Omega)$, can we ...
5
votes
1answer
83 views

Inequality of the norm of the convolution in $L^p(\mathbb{R}^n)$ with symmetric decreasing rearrangement?

Is it true that $$ ||f*g||_p \le ||\,|f|^* * |g|^*||_p\quad ? $$ where $|f|^*$ and $|g|^*$ are the symmetric decreasing rearrangements of the functions $|f|$ and $|g|$. Under what conditions on $f$ ...
2
votes
1answer
144 views

Asymptotic behaviour of eigenvalues

If you look at $-\Delta + q$ on the sphere in $\mathbb{R}^3$ for example and $||q|| < \infty,$ is there a way to asymptotically describe the behaviour of the eigenvalues? Probably they behave ...
0
votes
1answer
116 views

Proving a complicated inequality with powers of logarithms

I am currently formalising some results from complexity theory with a theorem prover. For that, I have to prove the following statement: Let $p, b, \varepsilon \in \mathbb R$ with $\varepsilon>0$ ...
1
vote
2answers
1k views

Power series with non-integer exponents

Motivation: For the sake of concreteness, I'll state a very particular context, but my question is a little more general. I'm trying to find a function $\gamma\colon [0,\delta) \to [0,\delta')$ that ...
2
votes
0answers
66 views

Extension of Sobolev Functions

Let $\,D\subseteq\mathbb{R}^{n-1}$ be a convex bounded domain. Let$A:D\to(0,\infty)$ be a Lipschitz continuous function. Let $\,\Omega\,$ be bounded domain in $\,\mathbb{R}^{n}\,$ of the form ...
6
votes
1answer
397 views

Does every strictly increasing, unbounded sequence of positive real numbers contain arbitrarily long, finite subsequences which are “sort of increasing” or “sort of decreasing” (as defined below)?

Is the following true? If $(x_0, x_1, \dots)$ is a strictly increasing, unbounded sequence of positive real numbers, then there exist fixed $M,N \geq 1$ such that the sequence $(x_0, x_1, \dots)$ ...
0
votes
1answer
77 views

Number of critical points

Let $f:[0,2\pi]\rightarrow R^2$ be a smooth function such that $f([0,2\pi])$ is a smooth closed simple curve $C$. Suppose $(0,0)$ lies inside the the bounded open region enclosed by $C$ and ...
0
votes
0answers
79 views

Summing a function at integer points

For a real function $f$ defined on the reals, and real $y$, define the 2-way infinite sum $$ F_f(y) = \sum_{i\in\mathbb Z} f(y+i). $$ If $F_f(y)$ is defined for all $y$, it is periodic of period 1. ...
2
votes
1answer
111 views

Does $\int \Phi \left( \frac{u}{\xi} \right) f_t(\xi) \mathrm{d} \xi \to \Phi(u)$ imply that $f_t \to \delta_1$?

I'm looking at a family $(f_t)$ of densities of some continuous random variables and know that $$\int_{-\infty}^{\infty} \Phi \left( \frac{u}{\xi} \right) f_t(\xi) \mathrm{d} \xi \xrightarrow{t \to ...
1
vote
2answers
252 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
1answer
300 views

Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds. (Cf. discussion on p. 45.) Definition Let $E$ and $F$ be two Banach spaces together with a plain subset ...
15
votes
1answer
354 views

Integrals of pullbacks and the Inverse function theorem(s?)

The usual story goes like this: Smooth picture (?): For a smooth bijection $\phi: M \to N$ between $n$-manifolds the following is true: $\phi^{-1}$ is a local diffeomorphism a.e. ...
4
votes
1answer
117 views

Orlicz Norm and A result on expectation

I am reading paper which is mainly about Dobrushin's contraction coefficient and its generalization. In page 27, the following is defined: Consider arbitrary, non-negative, convex function ...
1
vote
1answer
64 views

What is the fractional derivative smoothness of functions from the Zygmund class?

Let $\Lambda([0,1])$ be the Zygmund class of continuous on $[0,1]$ functions for which $$\sup h^{-1}|f(x+2h)-2f(x+h)+f(x)|<\infty.$$ What would be the exact smoothness class for the fractional ...
1
vote
0answers
73 views

Set nor its compliment contain an uncountable closed set [closed]

Does there exist a set $X$ subset of the real numbers such that no uncountable closed set is contained in $X$ or $X^c$?
9
votes
2answers
290 views

An inequality for copulas

Suppose that $f$ from $[0,\infty]$ onto $[0,1]$ is completely monotonic on $(0,\infty)$, and let $g$ be the inverse of $f$. For $(u,v)$ in $[0,1]^{2}$, define $C(u,v) = f(g(u)+g(v))$, and let $a = ...
0
votes
0answers
35 views

minimal entropy approximation of a truncated discrete measure

Consider a measure $\mu$ on $\mathbb{N}$ given by the sequence $(\mu(n))_{n \geq 0}$ with $\mu(0)>0$. For example $\mu(n)=n^2+1$ on the figure below. For each $n$, let $X_n \sim \mu(\cdot \mid ...
6
votes
4answers
475 views

Inserting an open and simply-connected set between a compact set and an open set

In a paper I am reading, the following is considered obvious: Let $K$ be a compact and connected subset of $\,\mathbb R^2$, with $\mathbb R^2\smallsetminus K$ also connected, and $U\subset \mathbb ...
3
votes
0answers
60 views

On Rényi entropy/divergence

The Rényi entropy for a probability density function $f$ with dominating measure $\mu$ of order $\alpha>0$ is defined as $$H_\alpha(f)={1 \over {\alpha-1}}\log\int f^\alpha d\mu.$$ If $f$ is ...
1
vote
1answer
495 views

For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that $$ \sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty, $$ where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
0
votes
1answer
87 views

Analytic extension of the exterior Newtonian potential into the domain

I just want to know for a domain with smooth boundary whether exterior Newtonian potential has singular analytic extension into the domain or into a part of the domain. Definition of Newtonian ...
7
votes
2answers
249 views

Finiteness as a motivation for compactness

Another history question, and I am not sure if I will get any answers. (If anyone knows of a good history of math list to use for this question I would be happy for any tips. The one I used to post to ...
0
votes
0answers
61 views

Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?

The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question: Given ...
1
vote
1answer
120 views

Infinite sum of asymptotic expansions

I have a question about an infinite sum of asymptotic expansions: Assume that $f_k(x)\sim a_{0k}+\dfrac{a_{1k}}{x}+\dfrac{a_{2k}}{x^2}+\cdots$ with $a_{0k}\leq \dfrac{1}{k^2}$, $a_{1k}\leq ...
4
votes
2answers
159 views

Equation between the two branches of the lambert w function

My question: Is there an equation connecting the two branches $W_0(y)$ and $W_{-1}(y)$ of the Lambert W function for $y \in (-\tfrac 1e,0)$? For example the two square roots $r_1(y)$ and $r_2(y)$ of ...
-1
votes
0answers
21 views

Extension of Premeasure to a Measure [migrated]

Question: Show that a set function on a σ-algebra is a measure if and only if it is a premeasure. Sketch of proof: A set on σ-algebra is a measure if it is an algebra and given all subsets of the ...
0
votes
1answer
200 views

A result attributed to Whitney

One of the basic results of real analysis says that any closed subset of a smooth ($C^\infty$) manifold $M$ is the set of zeros of some map $\lambda\in C^\infty(M;[0,1])$. This result (or some ...
2
votes
1answer
156 views

The class of bounded uniformly continuous functions in viscosity solution theory for Hamilton-Jacobi equations

Dumb question: Usually in viscosity solution theory for Hamilton Jacobi equations (with convex, coercive Hamiltonians), solutions are said to be in the class $BUC(\mathbb{R}^n)$ or ...
1
vote
0answers
60 views

Uniform estimate of a function given by an integral

consider the function $f_{n}(x,a,t):=e^{-(ax+n+1/2)^2t}$ with $t,x,a > 0$. The claim is now that there exists a constant $C>0$ such that for all even natural numbers $n=2k$, $k\in\mathbb{N}$ one ...
2
votes
1answer
78 views

Approximation of subharmonic functions

Let $u$ be an (upper semi-continuous) locally bounded subharmonic function in a domain in $\mathbb{R}^n$. Let $\chi_\epsilon$ be a standard smoothing kernel, namely ...
0
votes
1answer
55 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 ...
3
votes
0answers
126 views

A difficult integral which the Risch algorithm shows is not elementary

For reasons which aren't conceptually related to the problem a few of my colleagues and I are in need of finding an expression for the following integral in terms of $a$ and $\delta$: ...
0
votes
0answers
98 views

Perturbation of Laplacian via Kato-Rellich theorem

Let's consider a potential $V(x)\in L^3(\mathbb{R}^3)$. I want to know if the following Hamiltonian $$-\Delta+V(x)$$ is self-adjoint on $H^2(\mathbb{R}^3)$. My idea is to use Kato-Rellich theorem; ...
0
votes
1answer
98 views

The weighting function for the infinite product of necklaces

Let us consider the limit $\lim_{n\to \infty}\prod_{p=1}^n N(p,a)$ where $N(n,a)$ is the number of fixed necklaces of length $n$ composed of $a$ types of beads. Let's rewrite the product in a way ...
3
votes
0answers
439 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 ...
0
votes
0answers
34 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 ...
-3
votes
1answer
183 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 ...