数学无穷与中介逻辑(上)——Leibniz的割线与切线问题在中介逻辑中的逻辑数学解释方法(英文)

From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in ’unmediated opposition’ (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz’s secant and tangent lines in the medium logic system from the perspective of logical mathematics.     

Some Properties of Bent Functions

First, this paper discusses and sums up some properties of a pair of functions p（x）, q（x） that makes （y ＋ 1）p（x） ＋ yq（x） into a bent function. Then it discusses the properties of bent functions. Also, the upper and lower bounds of the number of bent functions on GF（2）2k are discussed.     

A Kind of Best Approximation Using Function Pairs

This paper discusses the minimization problem: For a Given n-dimensional subspace K and a function f of C(X), find a function pair (p_1,p_2)\in K x K, p_1 \geq f \geq p_2 such that $||p_1-p_2||=[\mathop {\mathop {\inf }\limits_{({q_1},{q_2}) \in K \times K} }\limits_{{p_1} \ge f \ge {q_2}} ||{q_1} - {q_2}||\]$ We call such a pair(p_1, p_2) (if any) a best approximation pair to f from K. This paper has proved a characterization theorem for best L_1 approximation pairs which says that (p_1,p_2) is a best L_1 approximation pair if and only if p_1 and p_2 are respectively an upper sided and a lower sided best L_1 approximation to f. With the provisos that K is a Haar subspace and thet 1\in K it turns out that the above conclusion of the characterization theorem for best L_\infty approximation pairs is also true. However we have further established, without the provisos at all, a “complete” characterization theorem for best L_\infty approximation pairs. Furthermore, sufficient conditions for uniqueness of best L_\infty approximation pairs are also given.     

Existence of unbiased estimate of regression parameters in simple linear EV models

It is well known that for one-dimensional normal EV regression model X = x u,Y =α βx e, where x, u, e are mutually independent normal variables and Eu=Ee=0, the regression parameters a and βare not identifiable without some restriction imposed on the parameters. This paper discusses the problem of existence of unbiased estimate for a and βunder some restrictions commonly used in practice. It is proved that the unbiased estimate does not exist under many such restrictions. We also point out one important case in which the unbiased estimates of a and βexist, and the form of the MVUE of a and βare also given.     

Spatial Nonparametric Regression Estimation: Non-isotropic Case

Data collected on the surface of the earth often has spatial interaction. In this paper, a non-isotropic mixing spatial data process is introduced, and under such a spatial structure a nonparametric kernel method is suggested to estimate a spatial conditional regression. Under mild regularities, sufficient conditions are derived to ensure the weak consistency as well as the convergence rates for the kernel estimator. Of interest are the following: (1) All the conditions imposed on the mixing coefficient and the bandwidth are simple; (2) Differently from the time series setting, the bandwidth is found to be dependent on the dimension of the site in space as well; (3) For weak consistency, the mixing coefficient is allowed to be unsummable and the tendency of sample size to infinity may be in different manners along different direction in space; (4) However, to have an optimal convergence rate, faster decreasing rates of mixing coefficient and the tendency of sample size to infinity along each direction a     

Distributing pairs of vertices on Hamiltonian cycles

Let G be a graph of order n with minimum degree δ(G)≥n/2+1. Faudree and Li(2012) conjectured that for any pair of vertices x and y in G and any integer 2≤k≤n/2, there exists a Hamiltonian cycle C such that the distance between x and y on C is k. In this paper, we prove that this conjecture is true for graphs of sufficiently large order. The main tools of our proof are the regularity lemma of Szemer′edi and the blow-up lemma of Koml′os et al.(1997).     

CENTER CONDITIONS AND BIFURCATION OF LIMIT CYCLES FOR A CLASS OF FIFTH DEGREE SYSTEMS

The center conditions and bifurcation of limit cycles for a class of fifth degree systems are investigated. Two recursive formulas to compute singular quantities at infinity and at the origin are given. The first nine singular point quantities at infinity and first seven singular point quantities at the origin for the system are given in order to get center conditions and study bifurcation of limit cycles. Two fifth degree systems are constructed. One allows the appearance of eight limit cycles in the neighborhood of infinity,which is the first example that a polynomial differential system bifurcates eight limit cycles at infinity. The other perturbs six limit cycles at the origin.     

ISOGENOUS OF THE ELLIPTIC CURVES OVER THE RATIONALS

AbstractAn elliptic curve is a pair (E,O), where ?is a smooth projective curve of genus 1 and O is a point of E, called the point at infinity. Every elliptic curve can be given by a Weierstrass equationE:y2 a1xy a3y = x3 a2x2 a4x a6.Let Q be the set of rationals. E is said to be dinned over Q if the coefficients ai, i = 1,2,3,4,6 are rationals and O is defined over Q.Let E/Q be an elliptic curve and let E(Q)tors be the torsion group of points of E denned over Q. The theorem of Mazur asserts that E(Q)tors is one of the following 15 groupsE(Q)tors　Z/mZ, m = 1,2,..., 10,12,Z/2Z × Z/2mZ, m = 1,2,3,4.We say that an elliptic curve E'/Q is isogenous to the elliptic curve E if there is an isogeny, i.e. a morphism : E E' such that (O) = O, where O is the point at infinity.We give an explicit model of all elliptic curves for which E(Q)tors is in the form Z/mZ where m= 9,10,12 or Z/2Z × Z/2mZ where m = 4, according to Mazur's theorem. Morever, for every family of such elliptic curves, we give an explicit m     

Laguerre isothermic surfaces in ℝ3 and their Darboux transformation

In this paper,we study Laguerre isothermic surfaces in R3.We show that the Darboux transformation of a Laguerre isothermic surface x produces a new Laguerre isothermic surface x and their respective Laguerre Gauss maps form a Darboux pair of each other at the corresponding point.We also classify the surfaces which are both Laguerre isothermic and Laguerre minimal and show that they must be Laguerre equivalent to surfaces with vanishing mean curvature in R3,R13 or R03.     

Immersed Interface Finite Element Methods for Elasticity Interface Problems with Non-Homogeneous Jump Conditions

<正>In this paper,a class of new immersed interface finite element methods (IIFEM) is developed to solve elasticity interface problems with homogeneous and non-homogeneous jump conditions in two dimensions.Simple non-body-fitted meshes are used.For homogeneous jump conditions,both non-conforming and conforming basis functions are constructed in such a way that they satisfy the natural jump conditions. For non-homogeneous jump conditions,a pair of functions that satisfy the same non-homogeneous jump conditions are constructed using a level-set representation of the interface.With such a pair of functions,the discontinuities across the interface in the solution and flux are removed;and an equivalent elasticity interface problem with homogeneous jump conditions is formulated.Numerical examples are presented to demonstrate that such methods have second order convergence.     

Coexistence of unbounded solutions and periodic solutions of Liénard equations with asymmetric nonlinearities at resonance

In this paper, we deal with the existence of unbounded orbits of the mapping {θ1 = θ 2nπ 1/ρμ(θ) o(ρ-1),ρ1=ρ c-μ′(θ) o(1), ρ→∞,where n is a positive integer, c is a constant and μ(θ) is a 2π-periodic function. We prove that if c ＞ 0 and μ(θ) ≠ 0, θ∈ [0, 2π], then every orbit of the given mapping goes to infinity in the future for ρ large enough; if c ＜ 0 and μ(θ) ≠ 0, θ∈ [0, 2π], then every orbit of the given mapping goes to infinity in the past for ρ large enough. By using this result, we prove that the equation x″ f(x)x′ ax -bx- φ(x) =p(t) has unbounded solutions provided that a, b satisfy 1/√a 1/√b = 2/n and F(x)(= ∫x0 f(s)ds),and φ(x) satisfies some limit conditions. At the same time, we obtain the existence of 2π-periodic solutions of this equation.     

Resonance phenomena for asymmetric weakly nonlinear oscillator

We establish the coexistence of periodic solution and unbounded solution, the infinity of largeamplitude subharmonics for asymmetric weakly nonlinear oscillator x" + a2x+ - b2x- + h(x) = p(t) with h(±∞) - 0 and xh(x) → +∞(x →∞), assuming that M(τ ) has zeros which are all simple and M(τ ) 0respectively, where M(τ ) is a function related to the piecewise linear equation x" + a2x+ - b2x- = p(t).``     

TIME-DELAY AND SPECTRAL DENSITY FOR STARK HAMILTONIANS(Ⅱ)——ASYMPTOTICS OF TRACE FORMULAE

This paper studies the Schrodinger operator with a homogeneous electric field of the form -△+x_1+V(x), where x= (x_1,…, x_n)∈R~n. It is proved that in the specctral representation of the free Stark Hamiltonian, the time-delay operator in scattering theory can be expressed in trems of scattering matrix and under reasonable assumptions on the decay of the potential V, the on-shell time-delay operator is of trace class and its trace is related to the local spectral density via an explicit integral formula. Some asymptotics for the trace are estabhshed when the energy tends to infinity.     

INFINITELY MANY SOLITARY WAVES DUE TO THE SECOND-HARMONIC GENERATION IN QUADRATIC MEDIA

In this paper, we consider the following coupled Schr?dinger system with χ~((2)) nonlinearities ■ which arises from second-harmonic generation in quadratic media. Here V_1(x) and V_2(x) are radially positive functions, 2 ≤ N 6, α 0 and α β. Assume that the potential functions V_1(x) and V_2(x) satisfy some algebraic decay at infinity. Applying the finite dimensional reduction method, we construct an unbounded sequence of non-radial vector solutions of synchronized type.     

DISTORTION ESTIMATES OF SYMMETRIC POINTS OF QUASICIRCLE

Let ξ=f(z) be a K-quasiconformal mapping (K-Q.C.) in the complex plane, f(∞)=∞. The image of the real axis under ξ=f(z) is a quasicirclz and the points ξ=f(z) and ξ=f(z) are a pair of symmetric points of the circle, we know that the connection between the quasicircle and the quasiconformal extention is essential. The distortion estimates of the quasicircle and of the symmetric points are both interesting. It is known that there exist two constants C_1(K) and C_2(K), depending on K oniy, such that the inequality     

The Uniqueness of Inverse Problem for the Dirac Operators with Partial Information

The inverse spectral problem for the Dirac operators defined on the interval[0, π] with self-adjoint separated boundary conditions is considered. Some uniqueness results are obtained, which imply that the pair of potentials(p(x), r(x)) and a boundary condition are uniquely determined even if only partial information is given on(p(x), r(x))together with partial information on the spectral data, consisting of either one full spectrum and a subset of norming constants, or a subset of pairs of eigenvalues and the corresponding norming constants. Moreover, the authors are also concerned with the situation where both p(x) and r(x) are C n-smoothness at some given point.     

Multiple solutions for weighted nonlinear elliptic system involving critical exponents

In this paper,by using the idea of category,we investigate how the shape of the graph of h(x)affects the number of positive solutions to the following weighted nonlinear elliptic system:-div(|x|-2au)-μu|x|2(a+1)=αα+βh(x)|u|α-2|v|βu|x|b2*(a,b)+λK1(x)|u|q-2u,in,-div(|x|-2av)-μv|x|2(a+1)=βα+βh(x)|u|α|v|β-2v|x|b2*(a,b)+σK2(x)|v|q-2v,in,u=v=0,on,where 0∈is a smooth bounded domain in RN(N 3),λ,σ0 are parameters,0μμa(N-2-2a2)2;h(x),K1(x)and K2(x)are positive continuous functions in,1 q2,α,β1 andα+β=2*(a,b)(2*(a,b)2N N-2(1+a-b),is critical Sobolev-Hardy exponent).We prove that the system has at least k nontrivial nonnegative solutions when the pair of the parameters(λ,σ)belongs to a certain subset of R2.     

On the primitive divisors of the recurrent sequence u_(n+1)=(4cos~2(2π/7)-1)u_n-u_(n-1) with applications to group theory

Consider the sequence of algebraic integers un given by the starting values u0=0,u1=1 and the recurrence u_(n+1)=(4cos~2(2π/7)-1)u_n-u_(n-1).We prove that for any n ■{1,2,3,5,8,12,18,28,30}the n-th term of the sequence has a primitive divisor in Z[2 cos(2π/7)].As a consequence we deduce that for any sufficiently large n there exists a prime power q such that the groupcan be generated by a pair x,y with χ~2=y~3=(xy)~7=1 and the order of the commutator[x,y]is exactly n.The latter result answers in affirmative a question of Holt and Plesken.     

Quasi-periodic solutions of a semilinear Li(?)nard equation at resonance

We are concerned with the existence of quasi-periodic solutions for the follow- ing equation x″ F_x(x,t)x′ ω~2x φ(x,t)=0, where F and φare smooth functions and 2π-periodic in t,ω>0 is a constant.Under some assumptions on the parities of F and φ,we show that the Dancer's function,which is used to study the existence of periodic solutions,also plays a role for the existence of quasi-periodic solutions and the Lagrangian stability (i.e.all solutions are bounded).     

THE EXISTENCE OF NONTRIVIAL SOLUTIONS TO A SEMILINEAR ELLIPTIC SYSTEM ON RN WITHOUT THE AMBROSETTI-RABINOWITZ CONDITION

In this paper, we prove the existence of at least one positive solution pair (u, v) ∈ H 1 (R N ) × H 1 (R N ) to the following semilinear elliptic system{-u + u = f(x, v), x ∈RN ,-v + v = g(x,u), x ∈ R N ,(0.1) by using a linking theorem and the concentration-compactness principle. The main con-ditions we imposed on the nonnegative functions f, g ∈ C 0 (R N × R 1 ) are that, f (x, t) and g(x, t) are superlinear at t = 0 as well as at t = +∞, that f and g are subcritical in t and satisfy a kind of monotonic conditions. We mention that we do not assume that f or g satisfies the Ambrosetti-Rabinowitz condition as usual. Our main result can be viewed as an extension to a recent result of Miyagaki and Souto [J. Diff. Equ. 245(2008), 3628-3638] concerning the existence of a positive solution to the semilinear elliptic boundary value problem{-u + u = f(x, u), x ∈Ω,u ∈H10(Ω)where ΩRN is bounded and a result of Li and Yang [G. Li and J. Yang: Communications in P.D.E. Vol. 29(2004) Nos.5 6.pp.925–954, 2004] concerning (0.1) when f and g are asymptotically linear.