A new off-step high order approximation for the solution of three-space dimensional nonlinear wave equations

In this paper, we propose a new high accuracy numerical method of O(k² + k²h² + h⁴) based on off-step discretization for the solution of 3-space dimensional non-linear wave equation of the form u_tt = A(x,y,z,t)u_xx + B(x,y,z,t)u_yy + C(x,y,z,t)u_zz + g(x,y,z,t,u,u_x,u_y,u_z,u_t), 0 < x,y,z < 1,t > 0 subject to given appropriate initial and Dirichlet boundary conditions, where k > 0 and h > 0 are mesh sizes in time and space directions respectively. We use only seven evaluations of the function g as compared to nine evaluations of the same function discussed in  and . We describe the derivation procedure in details of the algorithm. The proposed numerical algorithm is directly applicable to wave equation in polar coordinates and we do not require any fictitious points to discretize the differential equation. The proposed method when applied to a telegraphic equation is also shown to be unconditionally stable. Comparative numerical results are provided to justify the usefulness of the proposed method.     

Meromorphic Functions That Share Fixed-Points

In this paper, we prove the following result: Let f(z) and g(z) be two nonconstant meromorphic(entire) functions, n ≥ 11(n ≥ 6) a positive integer. If fⁿ(z)f′(z) and gⁿ(z)g′(z) have the same fixed-points, then either f(z) = c₁e^cz2, g(z) = c₂e^− cz2, where c₁, c₂, and c are three constants satisfying 4(c₁c₂)^n + 1c² = −1, or f(z) ≡ tg(z) for a constant t such that t^n + 1 = 1.     

Mixed sums of squares and triangular numbers (III)

In this paper we confirm a conjecture of Sun which states that each positive integer is a sum of a square, an odd square and a triangular number. Given any positive integer m, we show that p=2m+1 is a prime congruent to 3 modulo 4 if and only if Tm=m(m+1)/2 cannot be expressed as a sum of two odd squares and a triangular number, i.e., p²=x²+8(y²+z²) for no odd integers x,y,z. We also show that a positive integer cannot be written as a sum of an odd square and two triangular numbers if and only if it is of the form 2Tm(m>0) with 2m+1 having no prime divisor congruent to 3 modulo 4.     

The transcendental meromorphic solutions of a certain type of nonlinear differential equations

In this paper, we study the differential equations of the following form w²+R(z)²(w(k))=Q(z), where R(z), Q(z) are nonzero rational functions. We proved the following three conclusions: (1) If either P(z) or Q(z) is a nonconstant polynomial or k is an even integer, then the differential equation w²+P²(z)²(w(k))=Q(z) has no transcendental meromorphic solution; if P(z), Q(z) are constants and k is an odd integer, then the differential equation has only transcendental meromorphic solutions of the form f(z)=acos(bz+c). (2) If either P(z) or Q(z) is a nonconstant polynomial or k>1, then the differential equation w²+(z−z₀)P²(z)²(w(k))=Q(z) has no transcendental meromorphic solution, furthermore the differential equation w²+A(z−z₀)²(w^′)=B, where A, B are nonzero constants, has only transcendental meromorphic solutions of the form , where a, b are constants such that Ab²=1, a²=B. (3) If the differential equation , where P is a nonconstant polynomial and Q is a nonzero rational function, has a transcendental meromorphic solution, then k is an odd integer and Q is a polynomial. Furthermore, if k=1, then Q(z)≡C (constant) and the solution is of the form f(z)=Bcosq(z), where B is a constant such that B²=C and q^′(z)=±P(z).     

Meromorphic solutions of a Riccati differential equation with a doubly periodic coefficient

We treat a Riccati differential equation w^′+w²+p(z)=0, where p(z) is a nonconstant doubly periodic meromorphic function. Under certain assumptions, every solution is meromorphic in the whole complex plane. We show that the growth order of it is equal to 2, and examine the frequency of α-points and poles. Furthermore, the number of doubly periodic solutions is discussed.     

Biorthogonal bases and multiple interpolation in weighted Hardy spaces

Let {z_k=x_k+iy_k} be a sequence on upper half plane and {s_i} be the number of appearence of z_k in {z₁,z₂,...,z_k}. Suppose sup s_i<+∞. Let ω(x) be a weight belonging to A^∞ and . We Consider the weighted Hardy space and operator T_p mapping f(z)∈H _+w ^p into a sequence defined by , 0<p≤+∞, j=1,2,.... Then T_p(H _+w ^p )=l^p if and only if {z_k} is uniformly separated. Besides the effective solution for interpolation is obtained. Supported by National Science Foundation of China and Shanghai Youth Science Foundation     

Landau’s theorem for functions with logharmonic Laplacian

In this paper, we show the existence of Landau constant for functions with logharmonic Laplacian of the form F(z) = ∣z∣²L(z) + K(z), ∣z∣ < 1, where L is logharmonic and K is harmonic. Moreover, the problem of minimizing the area is solved     

Characterizations of α-Bloch spaces on the unit ball

We obtain a characterization of the α-Bloch space for any α>0 in the unit ball of Cn in terms of |f(z)−f(w)|/|z−w|. Moreover, a new characterization for the Bloch space is given.     

Second order differential inequalities in the complex plane

Let w(z) be regular in the unit disk U and let h(r, s, t) be a complex function defined in a domain of C³. The authors determine conditions on h such that $\text{¦ h(w(z), zw′(z), z}{}^2\text{w″(z))¦ < 1}$ implies $\text{¦ w(z)¦ < 1}$ and such that Re h(w(z), zw′(z), z²w″(z)) > 0 implies Re w(z) > 0. Applications of these results to univalent function theory, differential equations and harmonic functions are given.     

Generalized Jordan algebras

We study commutative algebras which are generalizations of Jordan algebras. The associator is defined as usual by (x, y, z) = (x y)z − x(y z). The Jordan identity is (x², y, x) = 0. In the three generalizations given below, t, β, and γare scalars. ((x x)y)x + t((x x)x)y = 0, ((x x)x)(y x) − (((x x)x)y)x = 0, β((x x)y)x + γ((x x)x)y − (β + γ)((y x)x)x = 0. We show that with the exception of a few values of the parameters, the first implies both the second and the third. The first is equivalent to the combination of ((x x)x)x = 0 and the third. We give examples to show that our results are in some reasonable sense, the best possible.     

Duality for a Class of Multiobjective Control Problems

In this paper, a class of multiobjective control problems is considered, where the objective and constraint functions involved are f(t, x(t), ?(t), y(t), z(t)) with x(t) ∈ Rⁿ, y(t) ∈ Rⁿ, and z(t) ∈ R^m, where x(t) and z(t) are the control variables and y(t) is the state variable. Under the assumption of invexity and its generalization, duality theorems are proved through a parametric approach to related properly efficient solutions of the primal and dual problems.     

Radii of starlikeness associated with the lemniscate of Bernoulli and the left-half plane

A normalized analytic function f defined on the open unit disk in the complex plane is in the class SL if zf′(z)/f(z) lies in the region bounded by the right-half of the lemniscate of Bernoulli given by ∣w² − 1∣ < 1. In the present investigation, the SL-radii for certain well-known classes of functions are obtained. Radius problems associated with the left-half plane are also investigated for these classes.     

Contractive maps on normed linear spaces and their applications to nonlinear matrix equations

In this paper we will give necessary and sufficient conditions under which a map is a contraction on a certain subset of a normed linear space. These conditions are already well known for maps on intervals in R. Using the conditions and Banach’s fixed point theorem we can prove a fixed point theorem for operators on a normed linear space. The fixed point theorem will be applied to the matrix equation X = I_n + A^∗f(X)A, where f is a map on the set of positive definite matrices induced by a real valued map on (0, ∞). This will give conditions on A and f under which the equation has a unique solution in a certain set. We will consider two examples of f in detail. In one example the application of the fixed point theorem is the first step in proving that the equation has a unique positive definite solution under the conditions on A.     

Approximation algorithms for constructing some required structures in digraphs

We consider a new problem of constructing some required structures in digraphs, where all arcs installed in such required structures are supposed to be cut from some pieces of a specific material of length L. Formally, we consider the model: a digraph D = (V, A; w), a structure S and a specific material of length L, where w: A → R⁺, we are asked to construct a subdigraph D′ from D, having the structure S, such that each arc in D′ is constructed by a part of a piece or/and some whole pieces of such a specific material, the objective is to minimize the number of pieces of such a specific material to construct all arcs in D′.     

On the simplex method and a class of linear complementary problems

We consider the linear complementarity problem of finding vectors w?Rⁿ, z?Rⁿ satisfying w ? Mz = q, w ? 0, z ? 0, w^Tz = 0. We show that if the off diagonal elements of M are nonpositive, then the above problem is solved by applying the simplex method to the problem Minimize z₀ subject to w ? Mz ? e_nz₀ = q, (z₀, w, z) ? 0, where e_n is a column vector of 1's. In fact the sequence of basic feasible solutions obtained by the simplex method and by Lemke's algorithm are the same. We also obtain necessary and sufficient conditions for the problem to have solutions for all q.     

Uniqueness theorem of solutions for stochastic differential equation in the plane

LetM={M _z, z ∈ R ₊ ² } be a continuous square integrable martingale andA={A _z, z ∈ R ₊ ² be a continuous adapted increasing process. Consider the following stochastic partial differential equations in the plane:dX _z=α(z, X_z)dM_z+β(z, X_z)dA_z, z∈R ₊ ² , X_z=Z_z, z∈∂R ₊ ² , whereR ₊ ² =[0, +∞)×[0,+∞) and ∂R ₊ ² is its boundary,Z is a continuous stochastic process on ∂R ₊ ² . We establish a new theorem on the pathwise uniqueness of solutions for the equation under a weaker condition than the Lipschitz one. The result concerning the one-parameter analogue of the problem we consider here is immediate (see [1, Theorem 3.2]). Unfortunately, the situation is much more complicated for two-parameter process and we believe that our result is the first one of its kind and is interesting in itself. We have proved the existence theorem for the equation in [2]. Supported by the National Science Foundation and the Postdoctoral Science Foundation of China     

Density of weighted wavelet frames

If ψ ∈ L²(R), Λ is a discrete subset of the affine groupA =R ⁺ ×R, and w: Λ →R ⁺ is a weight function, then the weighted wavelet system generated by ψ, Λ, and w is . In this article we define lower and upper weighted densities D _w ⁻ (Λ) and D _w ⁺ (Λ) of Λ with respect to the geometry of the affine group, and prove that there exist necessary conditions on a weighted wavelet system in order that it possesses frame bounds. Specifically, we prove that if W(ψ, Λ, w) possesses an upper frame bound, then the upper weighted density is finite. Furthermore, for the unweighted case w = 1, we prove that if W(ψ, Λ, 1) possesses a lower frame bound and D _w ⁺ (Λ⁻¹) < ∞, then the lower density is strictly positive. We apply these results to oversampled affine systems (which include the classical affine and the quasi-affine systems as special cases), to co-affine wavelet systems, and to systems consisting only of dilations, obtaining some new results relating density to the frame properties of these systems.     

Rank One Perturbations in a Pontryagin Space with One Negative Square

Let N₁ denote the class of generalized Nevanlinna functions with one negative square and let N_1, 0 be the subclass of functions Q(z)∈N₁ with the additional properties lim_y→∞ Q(iy)/y=0 and lim sup_y→∞ y |Im Q(iy)|<∞. These classes form an analytic framework for studying (generalized) rank one perturbations A(τ)=A+τ[·, ω] ω in a Pontryagin space setting. Many functions appearing in quantum mechanical models of point interactions either belong to the subclass N_1, 0 or can be associated with the corresponding generalized Friedrichs extension. In this paper a spectral theoretical analysis of the perturbations A(τ) and the associated Friedrichs extension is carried out. Many results, such as the explicit characterizations for the critical eigenvalues of the perturbations A(τ), are based on a recent factorization result for generalized Nevanlinna functions.     

The Bergman kernel: Explicit formulas,deflation, Lu Qi-Keng problem and Jacobi polynomials

We investigate the Bergman kernel function for the intersection of two complex ellipsoids {(z,w ₁,w ₂) ∈ C ⁿ⁺²: |z ₁|²+...+|z _n |²+|w ₁| ^q < 1, |z ₁|²+...+|z _n |²+|w ₂| ^r < 1}. We also compute the kernel function for {(z ₁,w ₁,w ₂) ∈ C³: |z ₁|^2/n + |w ₁| ^q < 1, |z ₁|^2/n + |w ₂| ^r < 1} and show deflation type identity between these two domains. Moreover in the case that q = r = 2 we express the Bergman kernel in terms of the Jacobi polynomials. The explicit formulas of the Bergman kernel function for these domains enables us to investigate whether the Bergman kernel has zeros or not. This kind of problem is called a Lu Qi-Keng problem.