On the number of limit cycles in perturbations of a two dimensional nonlinear differential system

Summary For the nonlinear system , which has a family { _h } of closed orbits, we consider perturbations of the type , whereP andQ are arbitrary polynomials. The abelian integralsA(h) corresponding to this family { _h } are investigated. By deriving differential equations forA(h) and proving monotonicity for quotients of abelian integrals, we obtain results on the number of zeros of abelian integrals and, hence, on the number of closed orbits _h which persist as limit cycles of the perturbed system (^*). In particular, a uniqueness theorem for limit cycles of (^*) with quadratic polynomialsP, Q is proved. Moreover, whenP, Q are of arbitrary degree, a lower bound for the possible number of limit cycles of (^*) is derived.     

On the diophantine equationD 1 x 2+D 2 m =4y n

For anyD ₁,D ₂, leth(-D ₁ D ₂) denote the class number of the imaginary quadratic field . In this paper we prove that the equationD ₁ x ²+D ₂ ^m =4y ⁿ.D ₁,D ₂,x, y, m, n, gcd (D ₁x,D ₂y=1,2m,n an odd prime,nh(-D ₁ D ₂, has only a finite number of solutions (D ₁,D ₂,x,y,m,n) withn>5. Moreover, the solutions satisfy 4y ⁿ相似文献   

Functions with Nonzero Wronskian form a fundamental solution set

This self-contained note could find classroom use in a course on differential equations. It is proved that if y₁(x) and y₂(x) are C ² -functions whose Wronskian is never zero for α < x < β, then y₁ and y₂ form a fundamental solution set for a uniquely determined second-order linear homogeneous ordinary differential equation, y″ + p(x)y′ + q(x)y = 0, whose coefficients, p(x) and q(x), are continuous on (α, β).     

Best approximation by splines on classes of periodic functions in the metric of L

We have obtained the exact value of the upper bound on the best approximations in the metric of L on the classes W^rH of functionsf C ₂ ^r for which ¦f ^(r) (x)-f ^(r) (x)) ¦ <(¦ x-xf) [ (t) is the upwards-convex modulus of continuity] by subspaces of r-th order polynomial splines of defect 1 with respect to the partitioning k/n.Translated from Matematicheskie Zametki, Vol. 20, No. 5, pp. 655–664, November, 1976.     

Asymptotic formulas for n-diameters of certain compacta in L2[0, 1]

In the current article the order of the Kolmogorov n-diameters of compacta, determined by the operatorsLy =p (x)dy/dx +q (x)y, Ly = [–d²/dx² +q (x) d/dx]^r y in L₂[0, 1] with a bound on the order of the error is studied and asymptotic formulas for d_n as a function of p(x), q(x), and r are derived.Translated from Matematicheskie Zametki, Vol. 20, No. 3, pp. 331–340, September, 1976.     

Arnold’s theorem on properly degenerate systems with the Rüssmann nondegeneracy

In this paper, we investigate the persistence of invariant tori for the nearly integrable Hamiltonian system , where h(ŷ) and satisfy the Rüssmann non-degenerate condition. Mainly we overcome the difficulties that the order of the parameter ε in the perturbation ε²Q(x,y) is not enough and that the measure estimate involves in parts of frequencies with small parameter.     

Partially integral operators with bounded kernels

Let Ω = [a, b] ^ν and let T be a partially integral operator defined in L ₂(Ω²) as follows:

L^2（R^n） Boundedness for a Class of Multilinear Singular Integral Operators

The L^2(R^n) boundedness for the multilinear singular integral operators defined by TAf(x)=∫R^nΩ（x-y）/|x-y|^n 1(A(x)-A(y)-△↓A(y)(x-y))f(y)dy is considered,where Ω is homogeneous of degree zero,integrable on the unit sphere and has vanishing moment of order one,A has derivatives of order one in BMO(R^n） boundedness for the multilinear operator TA is given.     

The quality of the Diophantine approximations found by the Jacobi-Perron algorithm and related algorithms

Given a vector of real numbers=(₁,... _d ) ^d , the Jacobi-Perron algorithm and related algorithms, such as Brun's algorithm and Selmer's algorithm, produce a sequence of (d+1)×(d+1) convergent matrices {C⁽ⁿ⁾():n1} whose rows provide Diophantine approximations to . Such algorithms are specified by two mapsT:[0, 1] ^d [0, 1] ^d and A:[0,1] ^d GL(d+1,), which compute convergent matrices C⁽ⁿ⁾())...A(T())A(). The quality of the Diophantine approximations these algorithms find can be measured in two ways. The best approximation exponent is the upper bound of those values of for which there is some row of the convergent matrices such that for infinitely many values ofn that row of C⁽ⁿ⁾() has . The uniform approximation exponent is the upper bound of those values of such that for all sufficiently large values ofn and all rows of C⁽ⁿ⁾⁽⁾ one has . The paper applies Oseledec's multiplicative ergodic theorem to show that for a large class of such algorithms and take constant values and on a set of Lebesgue measure one. It establishes the formula where are the two largest Lyapunov exponents attached by Oseledec's multiplicative ergodic theorem to the skew-product (T, A,d), whered is aT-invariant measure, absolutely continuous with respect to Lebesgue measure. We conjecture that holds for a large class of such algorithms. These results apply to thed-dimensional Jacobi-Perron algorithm and Selmer's algorithm. We show that; experimental evidence of Baldwin (1992) indicates (nonrigorously) that. We conjecture that holds for alld2.     

Boundedness of a class of super singular integral operators and the associated commutators

In this paper we give the (Lα p, Lp) boundedness of the maximal operator of a class of super singular integrals defined bywhich improves and extends the known result. Moreover, by applying an off-Diagonal T1 Theorem, we also obtain the (Lp, Lq) boundedness of the commutator defined by     

Normed algebras with involution

We show that most of the theory of Hermitian Banach algebras can be proved for normed *-algebras without the assumption of completeness. The conditionr(x)≤p(x) for allx (wherep(x)=r(x ^* x) ^1/2 is the Pták function), which is essential in the theory of Hermitian Banach algebras, is replaced for normed *-algebras by the conditionr(x+y)≤p(x)+p(y) for allx, y. In case of Banach *-algebras these conditions are equivalent. The research has been supported by a grant from La Junta de Andalucía and by the Department of Applied Mathematics, University of Seville This article was processed by the author using the Springer-Verlag T_EX mamath macro package 1990     

On maximal operators along surfaces

In this paper, we establish the boundedness of the following maximal operator

Inequalities for Means in Two Variables

We present various new inequalities involving the logarithmic mean L(x,y)=(x-y)/(logx-logy) L(x,y)=(x-y)/(\log{x}-\log{y}) , the identric mean I(x,y)=(1/e)(x^x/y^y)^1/(x-y) I(x,y)=(1/e)(x^x/y^y)^{1/(x-y)} , and the classical arithmetic and geometric means, A(x,y)=(x+y)/2 A(x,y)=(x+y)/2 and G(x,y)=?{xy} G(x,y)=\sqrt{xy} . In particular, we prove the following conjecture, which was published in 1986 in this journal. If M_r(x,y) = (x^r/2+y^r/2)^1/r(r 1 0) M_r(x,y)= (x^r/2+y^r/2)^{1/r}(r\neq{0}) denotes the power mean of order r, then $ M_c(x,y)<\frac{1}{2}(L(x,y)+I(x,y)) {(x,y>0,\, x\neq{y})} $ M_c(x,y)<\frac{1}{2}(L(x,y)+I(x,y)) {(x,y>0,\, x\neq{y})} with the best possible parameter c=(log2)/(1+log2) c=(\log{2})/(1+\log{2}) .     

Return probabilities for random walk on a half-line

A random walk with reflecting zone on the nonnegative integers is a Markov chain whose transition probabilitiesq(x, y) are those of a random walk (i.e.,q(x, y)=p(y–x)) outside a finite set {0, 1, 2,...,K}, and such that the distributionq(x,·) stochastically dominatesp(·–x) for everyx{0, 1, 2,..., K}. Under mild hypotheses, it is proved that when xp _x>0, the transition probabilities satisfyq ⁿ(x, y)C_xyR^–nn^–3/2 asn, and when xp _x=0,q ⁿ(x, y)C_xyn^–1/2.Supported by National Science Foundation Grant DMS-9307855.     

A note on regularity for a class of quasilinear elliptic equations

The following regularity of weak solutions of a class of elliptic equations of the form are investigated.     

A preconditioner for constrained and weighted least squares problems with Toeplitz structure

We study methods for solving the constrained and weighted least squares problem min _x by the preconditioned conjugate gradient (PCG) method. HereW = diag (₁, , _m ) with _{1 m} 0, andA ^T = [T ₁ ^T , ,T _k ^T ] with Toeplitz blocksT _l R ^{n × n} ,l = 1, ,k. It is well-known that this problem can be solved by solving anaugmented linear 2 × 2 block linear systemM +Ax =b, A ^T = 0, whereM =W ^–1. We will use the PCG method with circulant-like preconditioner for solving the system. We show that the spectrum of the preconditioned matrix is clustered around one. When the PCG method is applied to solve the system, we can expect a fast convergence rate.Research supported by HKRGC grants no. CUHK 178/93E and CUHK 316/94E.     

Regularity of Weak Solutions of Nonlinear Equations with Discontinuous Coefficients

In this paper, we prove that the weak solutions u∈Wloc^1, p （Ω） （1 〈p〈∞） of the following equation with vanishing mean oscillation coefficients A（x）： -div[（A（x）△↓u·△↓u）p-2/2 A（x）△↓u＋│F（x）│^p-2 F（x）]=B（x, u, △↓u）, belong to Wloc^1, q （Ω）（A↓q∈（p, ∞）, provided F ∈ Lloc^q（Ω） and B（x, u, h） satisfies proper growth conditions where Ω ∪→R^N（N≥2） is a bounded open set, A（x）=（A^ij（x）） N×N is a symmetric matrix function.     

The approximation of functions of many variables by their Féjér sums

We construct elliptic Féjér polynomials K_n(x) of m variables. We prove some of their properties: a) the Féjér polynomials are positive on the m-dimensional torus T^m, K_n(x)0, b) (x)=o(n^–1), as n, c) we calculate their norms in the spaces L[T^m] and C[T^m]. We estimate the deviation of the Féjér sum _n(x,f) from the functionf(x). For the space C[T^m]: where c_,m c_1,m are constants.Translated from Matematicheskie Zametki, Vol. 13, No. 6, pp. 817–828, June, 1973.In conclusion, the author wishes to express his gratitude to S. B. Stechkin for help with the paper.     

Typical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-Dimensions of Measures

For a probability measure μ on a subset of , the lower and upper L^q-dimensions of order are defined by We study the typical behaviour (in the sense of Baire’s category) of the L^q-dimensions and . We prove that a typical measure μ is as irregular as possible: for all q ≥ 1, the lower L^q-dimension attains the smallest possible value and the upper L^q-dimension attains the largest possible value.     

Parametrization of Triangle Groups as Subgroups of PSL(2, q)

In this paper we are interested in triangle groups (j, k, l) where j = 2 and k = 3. The groups (j, k, l) can be considered as factor groups of the modular group PSL(2, Z) which has the presentation x, y : x² = y³ = 1. Since PSL(2,q) is a factor group of G^k,l,m if -1 is a quadratic residue in the finite field F_q, it is therefore worthwhile to look at (j, k, l) groups as subgroups of PSL(2, q) or PGL(2, q). Specifically, we shall find a condition in form of a polynomial for the existence of groups (2, 3, k) as subgroups of PSL(2, q) or PGL(2, q).Mathematics Subject Classification: Primary 20F05 Secondary 20G40.