In [21], Marco Riccardi formalized that ℝN-basis n is a basis (in the algebraic sense defined in [26]) of [...] ℰTn ${ℰ}_T^n$ and in [20] he has formalized that [...] ℰTn ${ℰ}_T^n$ is second-countable, we build (in the topological sense defined in [23]) a denumerable base of [...] ℰTn ${ℰ}_T^n$ . Then we introduce the n-dimensional intervals (interval in n-dimensional Euclidean space, pavé (borné) de ℝn [16], semi-intervalle (borné) de ℝn [22]). We conclude with the definition of Chebyshev distance [11]. ...

Letting $T_n$ (resp. $U_n$) be the n-th Chebyshev polynomials of the first (resp. second) kind, we prove that the sequences ${\left(X^k{T}_{n-k}\right)}_k$ and ${\left(X^k{U}_{n-k}\right)}_k$ for n - 2⎣n/2⎦ ≤ k ≤ n - ⎣n/2⎦ are two basis of the ℚ-vectorial space ${}_n\left[X\right]$ formed by the polynomials of ℚ[X] having the same parity as n and of degree ≤ n. Also $T_n$ and $U_n$ admit remarkableness integer coordinates on each of the two basis.

We calculate the transfinite diameter for the real unit ball $B_d:=x\in {ℝ}^d:\left|x\right|\le 1$ and the real unit simplex $T_d:=x\in {ℝ}_{+}^d:{\sum }_{j=1}^d{x}_j\le 1.$

We deal with projective limits of classes of functions and prove that: (a) the Chebyshev polynomials constitute an absolute Schauder basis of the nuclear Fréchet spaces ${}_{\left(\right)}\left({[-1,1]}^r\right)$; (b) there is no continuous linear extension map from ${\Lambda }_{\left(\right)}^{\left(r\right)}$ into ${}_{\left(\right)}\left({ℝ}^r\right)$; (c) under some additional assumption on , there is an explicit extension map from ${}_{\left(\right)}\left({[-1,1]}^r\right)$ into ${}_{\left(\right)}\left({[-2,2]}^r\right)$ by use of a modification of the Chebyshev polynomials. These results extend the corresponding ones obtained by Beaugendre in [1] and [2].

Let $t$ be any integer and fix an odd prime $\ell$. Let $\Phi \left(x\right)=T_{\ell }^n\left(x\right)-t$ denote the $n$-fold composition of the Chebyshev polynomial of degree $\ell$ shifted by $t$. If this polynomial is irreducible, let $K=\mathbb{Q}\left(\theta \right)$, where $\theta$ is a root of $\Phi$. We use a theorem of Dedekind in conjunction with previous results of the author to give conditions on $t$ that ensure $K$ is monogenic. For other values of $t$, we apply a result of Guàrdia, Montes, and Nart to obtain a formula for the discriminant of $K$ and compute an integral basis for the ring...

The aim of this paper is to show that for every Banach space $(X,\parallel ·\parallel )$ containing asymptotically isometric copy of the space $c_0$ there is a bounded, closed and convex set $C\subset X$ with the Chebyshev radius $r\left(C\right)=1$ such that for every $k\ge 1$ there exists a $k$-contractive mapping $T:C\to C$ with $\parallel x-Tx\parallel >1-1/k$ for any $x\in C$.

The purpose of this paper is to investigate efficient representations of the residue classes modulo $q$, by performing sum and product set operations starting from a given subset $A$ of ${\mathbb{Z}}_q$. We consider the case of very small sets $A$ and composite $q$ for which not much seemed known (nontrivial results were recently obtained when $q$ is prime or when log $\left|A\right|\sim logq$). Roughly speaking we show that all residue classes are obtained from a $k$-fold sum of an $r$-fold product set of $A$, where $r\ll logq$ and $logk\ll logq$, provided the...

We show how the idea behind a formula for π discovered by the Indian mathematician and astronomer Nilakantha (1445-1545) can be developed into a general series acceleration technique which, when applied to the Gregory-Leibniz series, gives the formula $\pi ={\sum }_{n=0}^{\infty }((5n+3)n!\left(2n\right)!)/(2^{n-1}(3n+2)!)$ with convergence as $13.5^{-n}$, in much the same way as the Euler transformation gives $\pi ={\sum }_{n=0}^{\infty }(2^{n+1}n!n!)/(2n+1)!$ with convergence as $2^{-n}$. Similar transformations lead to other accelerated series for π, including three “BBP-like” formulas, all of which are collected in...

AbstractThe main result of the paper, based on the Borsuk Antipodality Theorem, describes extremal functions of the Kolmogorov-Landau problem(*) $f^{\left(m\right)}\left(\xi \right)\to sup$, $f\in W^r{H}^{\omega }[\xi ,b]$, ${\left|\right|f\left|\right|}_{ℂ[a,b]}\le B$,for all 0 < m ≤ r, ξ ≤ a or ξ = (a+b)/2, all B > 0 and concave moduli of continuity ω on ℝ₊. It is shown that any extremal function ${=}_{B,r,m,\omega ,\xi }$ of the problem (*) enjoys the following two characteristic properties. First, the function ${}^{\left(r\right)}\left(·\right){-}^{\left(r\right)}\left(\xi \right)$ is extremal for the problem(**) ${\int }_{\xi }^{b}h\left(t\right)\psi \left(t\right)dt\to sup$, $h\in H^{\omega }[\xi ,b]$, h(ξ) = 0,for an appropriate choice of the kernel ψ with a finite...

Consider the $n\times n$ matrix with $(i,j)$’th entry $gcd(i,j)$. Its largest eigenvalue ${\lambda }_n$ and sum of entries $s_n$ satisfy ${\lambda }_n>s_n/n$. Because $s_n$ cannot be expressed algebraically as a function of $n$, we underestimate it in several ways. In examples, we compare the bounds so obtained with one another and with a bound from S. Hong, R. Loewy (2004). We also conjecture that ${\lambda }_n>6{\pi }^{-2}nlogn$ for all $n$. If $n$ is large enough, this follows from F. Balatoni (1969).

We give some characterizations of the class ${}_m\left(\Omega \right)$ and use them to establish a lower estimate for the log canonical threshold of plurisubharmonic functions in this class.

We prove an upper bound for the Aviles–Giga problem, which involves the minimization of the energy $E_{\epsilon }\left(v\right)=\epsilon {\int }_{\Omega }|{\nabla }^2{v|}^{2}dx+{\epsilon }^{-1}{\int }_{\Omega }{\left(1-\right|\nabla v|}^2{)}^{2}dx$ over $v\in H^2\left(\Omega \right)$, where $\epsilon >0$ is a small parameter. Given $v\in W^{1,\infty }\left(\Omega \right)$ such that $\nabla v\in BV$ and $\left|\nabla v\right|=1$ a.e., we construct a family $\left\{v_{\epsilon }\right\}$ satisfying: $v_{\epsilon }\to v$ in $W^{1,p}\left(\Omega \right)$ and $E_{\epsilon }\left(v_{\epsilon }\right)\to \frac{1}{3}{\int }_{J_{\nabla v}}{\left|{\nabla }^{+}v-{\nabla }^{-}v\right|}^{3}d{\mathscr{H}}^{N-1}$ as $\epsilon$ goes to 0.

Given an integer $n\ge 3$, let $u_1,...,u_n$ be pairwise coprime integers $\ge 2$, $𝒟$ a family of nonempty proper subsets of $\{1,...,n\}$ with “enough” elements, and $\epsilon$ a function $𝒟\to \{\pm 1\}$. Does there exist at least one prime $q$ such that $q$ divides ${\prod }_{i\in I}{u}_i-\epsilon \left(I\right)$ for some $I\in 𝒟$, but it does not divide $u_1\cdots u_n$? We answer this question in the positive when the $u_i$ are prime powers and $\epsilon$ and $𝒟$ are subjected to certain restrictions. We use the result to prove that, if ${\epsilon }_0\in \{\pm 1\}$ and $A$ is a set of three or more primes that contains all prime divisors of any...

Let K be an algebraic number field with non-trivial class group G and ${}_K$ be its ring of integers. For k ∈ ℕ and some real x ≥ 1, let $F_k\left(x\right)$ denote the number of non-zero principal ideals $a_K$ with norm bounded by x such that a has at most k distinct factorizations into irreducible elements. It is well known that $F_k\left(x\right)$ behaves for x → ∞ asymptotically like $x{\left(logx\right)}^{1-1/\left|G\right|}{\left(loglogx\right)}^{{}_k\left(G\right)}$. We prove, among other results, that $₁\left(C_{n₁}\oplus C_{n₂}\right)=n₁+n₂$ for all integers n₁,n₂ with 1 < n₁|n₂.

For any positive integer k and any set A of nonnegative integers, let $r_{1,k}(A,n)$ denote the number of solutions (a₁,a₂) of the equation n = a₁ + ka₂ with a₁,a₂ ∈ A. Let k,l ≥ 2 be two distinct integers. We prove that there exists a set A ⊆ ℕ such that both $r_{1,k}(A,n)=r_{1,k}(\mathbb{N}\setminus A,n)$ and $r_{1,l}(A,n)=r_{1,l}(\mathbb{N}\setminus A,n)$ hold for all n ≥ n₀ if and only if log k/log l = a/b for some odd positive integers a,b, disproving a conjecture of Yang. We also show that for any set A ⊆ ℕ satisfying $r_{1,k}(A,n)=r_{1,k}(\mathbb{N}\setminus A,n)$ for all n ≥ n₀, we have $r_{1,k}(A,n)\to \infty$ as n → ∞.

For the real quadratic map $P_a\left(x\right)=x^2+a$ and a given $ϵ\&gt;0$ a point $x$ has good expansion properties if any interval containing $x$ also contains a neighborhood $J$ of $x$ with $P_a^n{|}_J$ univalent, with bounded distortion and $B(0,ϵ)\subseteq P_a^n\left(J\right)$ for some $n\in \mathbb{N}$. The $ϵ$-weakly expanding set is the set of points which do not have good expansion properties. Let $\alpha$ denote the negative fixed point and $M$ the first return time of the critical orbit to $[\alpha ,-\alpha ]$. We show there is a set $ℛ$ of parameters with positive Lebesgue measure for which the Hausdorff...

Consider a recurrence sequence ${\left(x_k\right)}_{k\in \mathbb{Z}}$ of integers satisfying $x_{k+n}=a_{n-1}{x}_{k+n-1}+...+a₁x_{k+1}+a₀x_k$, where $a₀,a₁,...,a_{n-1}\in \mathbb{Z}$ are fixed and a₀ ∈ -1,1. Assume that $x_k>0$ for all sufficiently large k. If there exists k₀∈ ℤ such that $x_{k₀}<0$ then for each negative integer -D there exist infinitely many rational primes q such that $q|x_k$ for some k ∈ ℕ and (-D/q) = -1.

We show that if A and B are subsets of the primes with positive relative lower densities α and β, then the lower density of A+B in the natural numbers is at least $(1-o\left(1\right))\alpha /\left(e^{\gamma }loglog(1/\beta )\right)$, which is asymptotically best possible. This improves results of Ramaré and Ruzsa and of Chipeniuk and Hamel. As in the latter work, the problem is reduced to a similar problem for subsets of $\mathbb{Z}{*}_m$ using techniques of Green and Green-Tao. Concerning this new problem we show that, for any square-free m and any $A,B\subseteq \mathbb{Z}{*}_m$ of densities α...

Let K be an algebraic number field with non-trivial class group G and ${}_K$ be its ring of integers. For k ∈ ℕ and some real x ≥ 1, let $F_k\left(x\right)$ denote the number of non-zero principal ideals $a_K$ with norm bounded by x such that a has at most k distinct factorizations into irreducible elements. It is well known that $F_k\left(x\right)$ behaves, for x → ∞, asymptotically like $x{\left(logx\right)}^{1/\left|G\right|-1}{\left(loglogx\right)}^{{}_k\left(G\right)}$. In this article, it is proved that for every prime p, $₁\left(C_p\oplus C_p\right)=2p$, and it is also proved that $₁\left(C_{mp}\oplus C_{mp}\right)=2mp$ if $₁\left(C_m\oplus C_m\right)=2m$ and m is large enough. In particular, it is shown...

Let ${\ell }_j:=-d²/dx²+k²q_j\left(x\right)$, k = const > 0, j = 1,2, $0<essinf{q}_j\left(x\right)\le esssup{q}_j\left(x\right)<\infty$. Suppose that (*) ${\int }_0^{1}p\left(x\right)u₁(x,k)u₂(x,k)dx=0$ for all k > 0, where p is an arbitrary fixed bounded piecewise-analytic function on [0,1], which changes sign finitely many times, and $u_j$ solves the problem ${\ell }_j{u}_j=0$, 0 ≤ x ≤ 1, $u_j^{\text{'}}(0,k)=0$, $u_j(0,k)=1$. It is proved that (*) implies p = 0. This result is applied to an inverse problem for a heat equation.

Let ${𝒯}_n$ denote the set of log canonical thresholds of pairs $(X,Y)$, with $X$ a nonsingular variety of dimension $n$, and $Y$ a nonempty closed subscheme of $X$. Using non-standard methods, we show that every limit of a decreasing sequence in ${𝒯}_n$ lies in ${𝒯}_{n-1}$, proving in this setting a conjecture of Kollár. We also show that ${𝒯}_n$ is closed in $𝐑$; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in...

Dati due elementi $f$ e $g$ in un'algebra uniforme $A$, sia $G=f(M_A/f({\partial }_A)$. Nella presente Nota si danno, fra l’altro, due nuove dimostrazioni elementari del fatto che la funzione $\lambda \to \log \max g(f^{-1}(\lambda ))$ è subarmonica su $G$ e che l’applicazione $\lambda \to g(f^{-1}(\lambda ))$ è analitica nel senso di Oka.

Let 1 < p < ∞, q = p/(p-1) and for $f\in L^p(0,\infty )$ define $F\left(x\right)=(1/x){ʃ}_0^{x}f\left(t\right)dt$, x > 0. Moser’s Inequality states that there is a constant $C_p$ such that $su{p}_{a\le 1}su{p}_{f\in B_p}{ʃ}_0^{\infty }exp[a{x}^q{\left|F\left(x\right)\right|}^q-x]dx=C_p$ where $B_p$ is the unit ball of $L^p$. Moreover, the value a = 1 is sharp. We observe that $F=K_1$ f where the integral operator $K_1$ has a simple kernel K. We consider the question of for what kernels K(t,x), 0 ≤ t, x < ∞, this result can be extended, and proceed to discuss this when K is non-negative and homogeneous of degree -1. A sufficient condition on K is found for...