Solvability of an initial boundary value problem for the euler equations in twodimensional domain with corners

The aim of this paper is to prove the existence and uniqueness of local solutions of some initial boundary value problems for the Euler equations of an incompressible fluid in a bounded domain Ω ? R ² with corners. We consider two cases of a nonvanishing normal component of velocity on the boundary. In three-dimensional case such problems have been considered in papers [12], [13], [14]. Similar problems in domains without corners have been considered in [2]–[6], [11]. In this paper the relation between the maximal corner angle of the boundary and the smoothness of the solutions is shown. The paper consists of four sections. In section 1 two initial boundary value problems for the Euler equations are formulated. In section 2 the existence and uniqueness of solutions of the Laplace equation in twodimensional domain with corners for the Dirichlet and Neumann problems is proved in the Sobolev spaces. In sections 3 and 4 we prove the existence and uniqueness of solutions of problems formulated in section 1, using the method of successive approximations.     

Axisymmetrical vibrations of shells of revolution under abrupt loading

A frequency method is proposed for solving the problem of the vibrations of shells of revolution taking into account the energy dissipation under arbitrary force loading and on collision with a rigid obstacle. The Laplace transform is taken of the equation of the vibrations of a shell of revolution with non-zero initial conditions. For the inhomogeneous differential equation obtained, a variational method is used to solve the boundary-value problem, which consists of finding the Laplace-transformed boundary transverse and longitudinal forces and bending moments as functions of the boundary displacements. The equations of equilibrium of nodes, i.e. the corresponding equations of the finite-element method, are then compared, using results obtained earlier [1–4]. Amplitude-phase-frequency characteristics (APFCs) for the shell cross-sections selected are plotted. An inverse Laplace transformation is carried out using the clear relationship between the extreme points of the APFCs and the coefficients of the corresponding terms of the series in an expansion vibration modes [3]. In view of the fact that the proposed approach is approximate, numerical testing is used.     

Affine processes on positive semidefinite d×d matrices have jumps of finite variation in dimension d>1

The theory of affine processes on the space of positive semidefinite $d\times d$ matrices has been established in a joint work with Cuchiero et al. (2011) [4]. We confirm the conjecture stated therein that in dimension $d>1$ this process class does not exhibit jumps of infinite total variation. This constitutes a geometric phenomenon which is in contrast to the situation on the positive real line (Kawazu and Watanabe, 1971) [8]. As an application we prove that the exponentially affine property of the Laplace transform carries over to the Fourier–Laplace transform if the diffusion coefficient is zero or invertible.     

An M/M/1 Driven Fluid Queue – Continued Fraction Approach

This paper presents complete solutions of the stationary distributions of buffer occupancy and buffer content of a fluid queue driven by an M/M/1 queue. We assume a general boundary condition when compared to the model discussed in Virtamo and Norros [Queueing Systems 16 (1994) 373–386] and Adan and Resing [Queueing Systems 22 (1996) 171–174]. We achieve the required solutions by transforming the underlying system of differential equations using Laplace transforms to a system of difference equations leading to a continued fraction. This continued fraction helps us to find complete solutions. We also obtain the buffer content distribution for this fluid model using the method of Sericola and Tuffin [Queueing Systems 31 (1999) 253–264].     

Quadrature rules for qualocation

Qualocation is a method for the numerical treatment of boundary integral equations on smooth curves which was developed by Chandler, Sloan and Wendland (1988‐2000) [1,2]. They showed that the method needs symmetric J–point–quadrature rules on [0, 1] that are exact for a maximum number of 1–periodic functions The existence of 2–point–rules of that type was proven by Chandler and Sloan. For J ∈ {3, 4} such formulas have been calculated numerically in [2]. We show that the functions G_α form a Chebyshev–system on [0, 1/2] for arbitrary indices á and thus prove the existence of such quadrature rules for any J.     

A Robust Spectral Method for Solving Heston’s Model

In this paper, we consider the Heston’s volatility model (Heston in Rev. Financ. Stud. 6: 327–343, 1993]. We simulate this model using a combination of the spectral collocation method and the Laplace transforms method. To approximate the two dimensional PDE, we construct a grid which is the tensor product of the two grids, each of which is based on the Chebyshev points in the two spacial directions. The resulting semi-discrete problem is then solved by applying the Laplace transform method based on Talbot’s idea of deformation of the contour integral (Talbot in IMA J. Appl. Math. 23(1): 97–120, 1979).     

A perturbation result for bounded imaginary powers

We give a new proof of a perturbation result due to J. Prüss and H. Sohr [11]: if an operator A has bounded imaginary powers, then so does A+w (w ≧ 0). Instead of Mellin transform on which the proof in [11] is based, we use the functional calculus for sectorial operators developed in particular by A. McIntosh ([8], [3] and [1]). It turns out that our method gives a more general result than the one used in [11].     

Spline regularization of numerical inversion of Mellin transform

A method is described for inverting the Mellin transform which uses an expansion in Laguerre polynomials and converts the Mellin transform to the Laplace transform, then the Laplace transform is converted to the first kind convolution integral equation by a suitable substitution. The integral equation so obtained is an ill-posed problem and we use the spline regularization to solve it. The performance of the method is illustrated by the inversion of the test functions available in the literature [J. Inst. Math. & Appl. 20 (1977), p. 73], [J. Math. Comp. 53 (1989), p. 589], [J. Sci. Stat. Comp. 4 (1983), p. 164]. The effectiveness of the method is shown by results obtained demonstrated by means of tables and diagrams.     

Hamilton算子和Laplace算子间的一个积分公式

本文给出了Hamilton算子和Laplace算子间的一个积分公式,并指出文献[1]中的一个错误.     

Higher holonomies: Comparing two constructions

We compare two different constructions of higher-dimensional parallel transport. On the one hand, there is the two-dimensional parallel transport associated with 2-connections on 2-bundles studied by Baez–Schreiber [2], Faria Martins–Picken [11] and Schreiber–Waldorf [12]. On the other hand, there are the higher holonomies associated with flat superconnections as studied by Igusa [7], Block–Smith [3] and Arias Abad–Schätz [1]. We first explain how by truncating the latter construction one obtains examples of the former. Then we prove that the two-dimensional holonomies provided by the two approaches coincide.     

Unique continuation on a line for the Helmholtz equation

In this article, local unique continuation on a line for solutions of the Helmholtz equation is discussed. The fundamental solution of the exterior problem for the Helmholtz equation have a logarithmic singularity which behaves similar to those of the interior problem for the Laplace equation in two dimension. A Hölder-type conditional stability estimate of the proposed exterior problem for the Helmholtz equation is obtained by adopting the complex extension method in Cheng and Yamamoto [J. Cheng and M. Yamamoto, Unique continuation on a line for harmonic functions, Inverse Probl. 14 (1998), pp. 869–882]. Finally, a regularization scheme based on the collocation method is compatible with the Hölder-type stability estimate provided that the line does not intersect the boundary of the domain for both the Laplace and the Helmholtz equations.     

Some convergence theorems of non-implicit iteration process with errors for a finite families of I-asymptotically nonexpansive mappings

The purpose of this paper is to study the weak and strong convergence of non-implicit iteration process with errors to a common fixed point for a finite family of I-asymptotically quasi-nonexpansive mappings in Banach spaces. The results presented in this paper extend and improve the corresponding results of several authors [1], [2], [7], [8], [9], [10], [11], [12], [13], [14], [17], [19], [22], [23], [24], [25], [26], [27], [28] and [29].     

A Priori Estimate for the Discontinuous Oblique Derivative Problem for Elliptic Systems

Recently [6] an existence as well as a uniqueness theorem for the discontinuous oblique derivative problem for nonlinear elliptic system of first order in the plane, see [12, 19, 23] was proved, based on some a priori estimate from [20]. This estimate, however, is deduced by reductio ad absurdum. Therefore the constants in this estimate are unknown so that the estimate cannot be used for numerical procedures, e.g. for approximating the solution of a nonlinear problem by solutions of related linear problems, see [24, 3, 4]. In this paper a direct proof of an a priori estimate is given using some variations of results from [14], see also [11], where the constants can explicitely be estimated. For related a priori estimates see [1 – 5, 8, 16, 17, 20, 21, 24 – 26]. A basic reference for the oblique derivative problem is [9].     

Graphs with two isomorphism classes of spanning unicyclic subgraphs

The graphs whose spanning unicyclic subgraphs partition into exactly two isomorphism classes are characterized.This work is a continuation of [6] where graphs with one isomorphism class of spanning unicyclic graphs are characterized. The analogous question for spanning trees was posed in [10] and graphs with one isomorphism class of spanning trees were characterized in [2], [3], [4], [7], [11] while graphs with two isomorphism classes of spanning trees were characterized in [4], [5]. Related topics are treated in [1], [8], [9].     

The problem of computing the value of a differential game for a positional functional

A dynamical system driven by controls and uncontrollable noise is considered in a game-theoretic setting [1–8]. The problem of feedback control in which the performance index is a positional functional of the motion of the system [8–11] is investigated. On the assumption that the structure of the functional satisfies reasonably general conditions, a procedure is proposed for computing the value of the corresponding differential game. Irrespective of the number of dimensions in the initial problem, as dictated by the structure of the performance index, the proposed procedure reduces to the problem of the successive construction of the upper convex hulls of certain auxiliary functions in domains whose dimension does not exceed that of the phase vector of the system.     

Completion of topological loops

A Hausdorff topological group equipped with the right uniformity admits a group completion iff the inversion mapping preserves Cauchy filters, cf. [1], III. §3, No.5, Théorème 1. Up until today a general theorem on the completion of topological loops is not available, for partial results see [9], [10]. This is among others due to the fact that topological loops will not necessarily have a compatible right uniformity. The main results (6–8) of this paper are the following: All topological loops are locally uniform in the sense of [11], and, provided the notion of “Cauchy filter” is suitably chosen, they can be completed. An analogue of the completion theorem for groups cited above holds for topological loops. According to these aims the theory of completion of locally uniform spaces is developped in 1–5 of this paper.     

A boolean transfer principle from L*-Algebras to AL*-Algebras

Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is presupposed. MSC: 03C90, 03E40, 17B65, 46L10.     

Schensted Algorithms for Dual Graded Graphs

This paper is a sequel to [3]. We keep the notation and terminology and extend the numbering of sections, propositions, and formulae of [3].The main result of this paper is a generalization of the Robinson-Schensted correspondence to the class of dual graded graphs introduced in [3], This class extends the class of Y-graphs, or differential posets [22], for which a generalized Schensted correspondence was constructed earlier in [2].The main construction leads to unified bijective proofs of various identities related to path counting, including those obtained in [3]. It is also applied to permutation enumeration, including rook placements on Ferrers boards and enumeration of involutions.As particular cases of the general construction, we re-derive the classical algorithm of Robinson, Schensted, and Knuth [19, 12], the Sagan-Stanley [18], Sagan-Worley [16, 29] and Haiman's [11] algorithms and the author's algorithm for the Young-Fibonacci graph [2]. Some new applications are suggested.The rim hook correspondence of Stanton and White [23] and Viennot's bijection [28] are also special cases of the general construction of this paper.In [5], the results of this paper and the previous paper [3] were presented in a form of extended abstract.     

The Algebraic Perturbation Method for Generalized Inverses

Algebraic perturbation methods were first proposed for the solution of nonsingular linear systems by R. E. Lynch and T. J. Aird [2]. Since then, the algebraic perturbation methods for generalized inverses have been discussed by many scholars [3]-[6]. In [4], a singular square matrix was perturbed algebraically to obtain a nonsingular matrix, resulting in the algebraic perturbation method for the Moore-Penrose generalized inverse. In [5], some results on the relations between nonsingular perturbations and generalized inverses of $m\times n$ matrices were obtained, which generalized the results in [4]. For the Drazin generalized inverse, the author has derived an algebraic perturbation method in [6]. In this paper, we will discuss the algebraic perturbation method for generalized inverses with prescribed range and null space, which generalizes the results in [5] and [6]. We remark that the algebraic perturbation methods for generalized inverses are quite useful. The applications can be found in [5] and [8]. In this paper, we use the same terms and notations as in [1].     

A non‐existence result on Cameron–Liebler line classes

Cameron–Liebler line classes are sets of lines in PG(3, q) that contain a fixed number x of lines of every spread. Cameron and Liebler classified Cameron–Liebler line classes for x ∈ {0, 1, 2, q² ? 1, q², q² + 1} and conjectured that no others exist. This conjecture was disproven by Drudge for q = 3 [8] and his counterexample was generalized to a counterexample for any odd q by Bruen and Drudge [4]. A counterexample for q even was found by Govaerts and Penttila [9]. Non‐existence results on Cameron–Liebler line classes were found for different values of x. In this article, we improve the non‐existence results on Cameron–Liebler line classes of Govaerts and Storme [11], for q not a prime. We prove the non‐existence of Cameron–Liebler line classes for 3 ≤ x < q/2. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 342–349, 2008