Global existence and uniqueness of solution of the initial boundary value problem for a class of non-Newtonian fluids with vacuum

The aims of this paper are to discuss global existence and uniqueness of solution for a class of non-Newtonian fluids with vacuum in one-dimensional bounded interval. The important point in this paper is that we allow the initial vacuum. In particular, these results are used to prove similar results for more general non-Newtonian fluids, and applied to numerical computation. This work is partially supported by the 985 program of Jilin University, China Postdoctoral Sciences Foundation, and NSF Grant ([10571072]; [10601009]).     

A note on cuts for contingency tables

In this note, we propose a general method to find cuts for a contingency table. Useful cuts are, in many cases, statistics S-sufficient for the nuisance parameter and S-ancillary for the parameter of interest. In general, cuts facilitate a strong form of parameter separation known to be useful for conditional inference [E.L. Lehmann, Testing Statistical Hypotheses, 2nd ed., Springer, New York, 1997, pp. 546–548]. Cuts also achieve significant dimension reduction, hence, increase computational efficiency. This is particularly true for the inference about cross-tabulated data, usually with a large number of parameters. Depending on the parameter of interest, we propose a flexible transformation to reparameterize the discrete multivariate response distribution. Inference on cell probabilities or odds ratios will require different parameterizations. The reparameterized distribution is not sum-symmetric. Thus, the finding in this paper expands the results in Barndorff-Nielsen [O.E. Barndorff-Nielsen, Information and Exponential Families in Statistical Theory, John Wiley, New York, 1978, pp. 202–206].     

Covering the alternating groups by products of cycle classes

Given integers k,l?2, where either l is odd or k is even, we denote by n=n(k,l) the largest integer such that each element of An is a product of k cycles of length l. For an odd l, k is the diameter of the undirected Cayley graph Cay(An,Cl), where Cl is the set of all l-cycles in An. We prove that if k?2 and l?9 is odd and divisible by 3, then . This extends earlier results by Bertram [E. Bertram, Even permutations as a product of two conjugate cycles, J. Combin. Theory 12 (1972) 368-380] and Bertram and Herzog [E. Bertram, M. Herzog, Powers of cycle-classes in symmetric groups, J. Combin. Theory Ser. A 94 (2001) 87-99].     

A Fourier spectral-discontinuous Galerkin method for time-dependent 3-D Schrödinger–Poisson equations with discontinuous potentials

In this paper, we propose a high order Fourier spectral-discontinuous Galerkin method for time-dependent Schrödinger–Poisson equations in 3-D spaces. The Fourier spectral Galerkin method is used for the two periodic transverse directions and a high order discontinuous Galerkin method for the longitudinal propagation direction. Such a combination results in a diagonal form for the differential operators along the transverse directions and a flexible method to handle the discontinuous potentials present in quantum heterojunction and supperlattice structures. As the derivative matrices are required for various time integration schemes such as the exponential time differencing and Crank Nicholson methods, explicit derivative matrices of the discontinuous Galerkin method of various orders are derived. Numerical results, using the proposed method with various time integration schemes, are provided to validate the method.     

A smoothing Newton-type method for generalized nonlinear complementarity problem

By using a new type of smoothing function, we first reformulate the generalized nonlinear complementarity problem over a polyhedral cone as a smoothing system of equations, and then develop a smoothing Newton-type method for solving it. For the proposed method, we obtain its global convergence under milder conditions, and we further establish its local superlinear (quadratic) convergence rate under the BD-regular assumption. Preliminary numerical experiments are also reported in this paper.     

A classification of sharp tridiagonal pairs

Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider a pair of linear transformations A:V→V and A^∗:V→V that satisfy the following conditions: (i) each of A,A^∗ is diagonalizable; (ii) there exists an ordering of the eigenspaces of A such that A^∗V_i⊆V_i-1+V_i+V_i+1 for 0?i?d, where V_-1=0 and V_d+1=0; (iii) there exists an ordering of the eigenspaces of A^∗ such that for 0?i?δ, where and ; (iv) there is no subspace W of V such that AW⊆W, A^∗W⊆W, W≠0, W≠V. We call such a pair a tridiagonal pair on V. It is known that d=δ and for 0?i?d the dimensions of coincide. The pair A,A^∗ is called sharp whenever . It is known that if F is algebraically closed then A,A^∗ is sharp. In this paper we classify up to isomorphism the sharp tridiagonal pairs. As a corollary, we classify up to isomorphism the tridiagonal pairs over an algebraically closed field. We obtain these classifications by proving the μ-conjecture.     

The least eigenvalue of the complements of trees

Let be the set of the complements of trees of order n. In this paper, we characterize the unique graph whose least eigenvalue attains the minimum among all graphs in .     

Multi-parameter regularization and its numerical realization

In this paper we propose and analyse a choice of parameters in the multi-parameter regularization of Tikhonov type. A modified discrepancy principle is presented within the multi-parameter regularization framework. An order optimal error bound is obtained under the standard smoothness assumptions. We also propose a numerical realization of the multi-parameter discrepancy principle based on the model function approximation. Numerical experiments on a series of test problems support theoretical results. Finally we show how the proposed approach can be successfully implemented in Laplacian Regularized Least Squares for learning from labeled and unlabeled examples.     

Compact right multipliers on a Banach algebra related to locally compact semigroups

For a locally compact semigroup \({\mathcal{S}}\), let \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))\) be the Banach space of all μ-measurable (\(\mu\in M_{a}({\mathcal{S}})\)) functions vanishing at infinity, where \(M_{a}({\mathcal{S}})\) denotes the algebra of all measures in the measure algebra \(M({\mathcal{S}})\) of \({\mathcal{S}}\) with continuous translations. Here, we study right compact multipliers on the Banach algebra \(L_{0}^{\infty}({\mathcal{S}},M_{a}({\mathcal{S}}))^{*}\) equipped with an Arens product.     

Functions of ultraexponential and infralogarithm types and general solution of the Abel functional equation

We propose generalized forms of ultraexponential and infralogarithm functions introduced and studied earlier by the author and present two classes of special functions, namely, ultraexponential and infralogarithm f -type functions. As a result of this investigation, we obtain a general solution of the Abel equation α(f(x)) = α (x) + 1 under some conditions on a real function f and prove a new completely different uniqueness theorem for the Abel equation stating that an infralogarithm f -type function is its unique solution. We also show that an infralogarithm f -type function is an essentially unique solution of the Abel equation. Similar theorems are proved for ultraexponential f -type functions and their functional equation β(x) = f(β(x − 1)), which can be considered as dual to the Abel equation. We also solve a certain problem unsolved before and study some properties of two considered functional equations and some relations between them.