The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics”

On sum-product representations in q

Mei-Chu Chang (2006)

Journal of the European Mathematical Society

Similarity:

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 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 | A | log q ). 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 log q and log k log q , provided the...

Dimension of weakly expanding points for quadratic maps

Samuel Senti (2003)

Bulletin de la Société Mathématique de France

Similarity:

For the real quadratic map P a ( x ) = x 2 + a and a given ϵ > 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 , ϵ ) P a n ( J ) for some n . The ϵ -weakly expanding set is the set of points which do not have good expansion properties. Let α denote the negative fixed point and M the first return time of the critical orbit to [ α , - α ] . We show there is a set of parameters with positive Lebesgue measure for which the Hausdorff...

Some characterizations of the class m ( Ω ) and applications

Hai Mau Le, Hong Xuan Nguyen, Hung Viet Vu (2015)

Annales Polonici Mathematici

Similarity:

We give some characterizations of the class m ( Ω ) and use them to establish a lower estimate for the log canonical threshold of plurisubharmonic functions in this class.

On the divisor function over Piatetski-Shapiro sequences

Hui Wang, Yu Zhang (2023)

Czechoslovak Mathematical Journal

Similarity:

Let [ x ] be an integer part of x and d ( n ) be the number of positive divisor of n . Inspired by some results of M. Jutila (1987), we prove that for 1 < c < 6 5 , n x d ( [ n c ] ) = c x log x + ( 2 γ - c ) x + O x log x , where γ is the Euler constant and [ n c ] is the Piatetski-Shapiro sequence. This gives an improvement upon the classical result of this problem.

The subspace of weak P -points of *

Salvador García-Ferreira, Y. F. Ortiz-Castillo (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let W be the subspace of * consisting of all weak P -points. It is not hard to see that W is a pseudocompact space. In this paper we shall prove that this space has stronger pseudocompact properties. Indeed, it is shown that W is a p -pseudocompact space for all p * .

Limits of log canonical thresholds

Tommaso de Fernex, Mircea Mustață (2009)

Annales scientifiques de l'École Normale Supérieure

Similarity:

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...

Lower bounds for the largest eigenvalue of the gcd matrix on { 1 , 2 , , n }

Jorma K. Merikoski (2016)

Czechoslovak Mathematical Journal

Similarity:

Consider the n × n matrix with ( i , j ) ’th entry gcd ( i , j ) . Its largest eigenvalue λ n and sum of entries s n satisfy λ 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 λ n > 6 π - 2 n log n for all n . If n is large enough, this follows from F. Balatoni (1969).

A quantitative aspect of non-unique factorizations: the Narkiewicz constants III

Weidong Gao, Jiangtao Peng, Qinghai Zhong (2013)

Acta Arithmetica

Similarity:

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 ( x ) 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 ( x ) behaves for x → ∞ asymptotically like x ( l o g x ) 1 - 1 / | G | ( l o g l o g x ) k ( G ) . We prove, among other results, that ( C n C n ) = n + n for all integers n₁,n₂ with 1 < n₁|n₂.

A note on representation functions with different weights

Zhenhua Qu (2016)

Colloquium Mathematicae

Similarity:

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 ( A , n ) and r 1 , l ( A , n ) = r 1 , l ( 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 ( A , n ) for all n ≥ n₀, we have r 1 , k ( A , n ) as n → ∞.

On the condition of Λ-convexity in some problems of weak continuity and weak lower semicontinuity

Agnieszka Kałamajska (2001)

Colloquium Mathematicae

Similarity:

We study the functional I f ( u ) = Ω f ( u ( x ) ) d x , where u=(u₁, ..., uₘ) and each u j is constant along some subspace W j of ℝⁿ. We show that if intersections of the W j ’s satisfy a certain condition then I f is weakly lower semicontinuous if and only if f is Λ-convex (see Definition 1.1 and Theorem 1.1). We also give a necessary and sufficient condition on W j j = 1 , . . . , m to have the equivalence: I f is weakly continuous if and only if f is Λ-affine.

Uniform algebras and analytic multi­functions

Zbigniew Slodkowski (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

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

Equilibrium states for interval maps: the potential - t log | D f |

Henk Bruin, Mike Todd (2009)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let f : I I be a C 2 multimodal interval map satisfying polynomial growth of the derivatives along critical orbits. We prove the existence and uniqueness of equilibrium states for the potential φ t : x - t log | D f ( x ) | for t close to 1 , and also that the pressure function t P ( φ t ) is analytic on an appropriate interval near t = 1 .

On butterfly-points in β X , Tychonoff products and weak Lindelöf numbers

Sergei Logunov (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let X be the Tychonoff product α < τ X α of τ -many Tychonoff non-single point spaces X α . Let p X * be a point in the closure of some G X whose weak Lindelöf number is strictly less than the cofinality of τ . Then we show that β X { p } is not normal. Under some additional assumptions, p is a butterfly-point in β X . In particular, this is true if either X = ω τ or X = R τ and τ is infinite and not countably cofinal.

Libera and Hilbert matrix operator on logarithmically weighted Bergman, Bloch and Hardy-Bloch spaces

Boban Karapetrović (2018)

Czechoslovak Mathematical Journal

Similarity:

We show that if α > 1 , then the logarithmically weighted Bergman space A log α 2 is mapped by the Libera operator into the space A log α - 1 2 , while if α > 2 and 0 < ε α - 2 , then the Hilbert matrix operator H maps A log α 2 into A log α - 2 - ε 2 .We show that the Libera operator maps the logarithmically weighted Bloch space log α , α , into itself, while H maps log α into log α + 1 .In Pavlović’s paper (2016) it is shown that maps the logarithmically weighted Hardy-Bloch space log α 1 , α > 0 , into log α - 1 1 . We show that this result is sharp. We also show that H maps log α 1 , α 0 ,...

Inequalities for Taylor series involving the divisor function

Horst Alzer, Man Kam Kwong (2022)

Czechoslovak Mathematical Journal

Similarity:

Let T ( q ) = k = 1 d ( k ) q k , | q | < 1 , where d ( k ) denotes the number of positive divisors of the natural number k . We present monotonicity properties of functions defined in terms of T . More specifically, we prove that H ( q ) = T ( q ) - log ( 1 - q ) log ( q ) is strictly increasing on ( 0 , 1 ) , while F ( q ) = 1 - q q H ( q ) is strictly decreasing on ( 0 , 1 ) . These results are then applied to obtain various inequalities, one of which states that the double inequality α q 1 - q + log ( 1 - q ) log ( q ) < T ( q ) < β q 1 - q + log ( 1 - q ) log ( q ) , 0 < q < 1 , holds with the best possible constant factors α = γ and β = 1 . Here, γ denotes Euler’s constant. This refines a result of Salem, who...