Sparse generalized Fourier transforms

Block-diagonalization of sparse equivariant discretization matrices is studied. Such matrices typically arise when partial differential equations that evolve in symmetric geometries are discretized via the finite element method or via finite differences. By considering sparse equivariant matrices as equivariant graphs, we identify a condition for when block-diagonalization via a sparse variant of a generalized Fourier transform (GFT) becomes particularly simple and fast. Characterizations for finite element triangulations of a symmetric domain are given, and formulas for assembling the block-diagonalized matrix directly are presented. It is emphasized that the GFT preserves symmetric (Hermitian) properties of an equivariant matrix. By simulating the heat equation at the surface of a sphere discretized by an icosahedral grid, it is demonstrated that the block-diagonalization is beneficial. The gain is significant for a direct method, and modest for an iterative method. A comparison with a block-diagonalization approach based upon the continuous formulation is made. It is found that the sparse GFT method is an appropriate way to discretize the resulting continuous subsystems, since the spectrum and the symmetry are preserved. AMS subject classification (2000)  43A30, 65T99, 20B25     

An Extension Landau-Lifshitz Model in Studying Soft Ferromagnetic Films

In this paper, we propose a model in studying soft ferromagnetic films, which is readily accessible experimentally. By using penalty approximation and compensated compactness, we prove that the dynamical equation in thin film has a local weak solution. Moreover, the corresponding linear equation is also dealt with in great detail.     

Freedom and trying: Understanding agent-causal exertions

In this paper, I argue that trying is the locus of freedom and moral responsibility. Thus, any plausible view of free and responsible action must accommodate and account for free tryings. I then consider a version of agent causation whereby the agent directly causes her tryings. On this view, the agent is afforded direct control over her efforts and there is no need to posit—as other agent-causal theorists do—an uncaused event. I discuss the potential advantages of this sort of view, and its challenges.     

Solvothermal synthesis of TiO2: anatase nanocrystals and rutile nanofibres from TiCl4 in acetone

This work reports a new synthetic approach for single‐phase TiO₂ nanomaterials by solvothermal treatment of titanium tetrachloride in acetone at 80–110 °C. Small, uniform, and yet size‐tunable (5–10 nm) anatase titania nanocrystallites were obtained using a low concentration of TiCl₄ in acetone (i.e., at molar ratios of TiCl₄/acetone ≤ 1:15) in the temperature range of 80–110 °C, while rutile nanofibers were synthesized using a high concentration of TiCl₄ (e.g., TiCl₄/acetone = 1:10) at 110 °C. Copyright © 2007 John Wiley & Sons, Ltd.     

Another independent self-dual basis for the trivial variety

We give a new independent self-dual 3-basis for the trivial variety with two binary operations. Received October 24, 2006; accepted in final form January 25, 2007.     

Ultra <Emphasis Type="Italic">LI</Emphasis>-ideals in lattice implication algebras and <Emphasis Type="Italic">MTL</Emphasis>-algebras

A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal. This work was supported by the Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605389) and K. C. Wong Magna Fund in Ningbo University.     

Multisplitting Iteration Schemes for Solving a Class of Nonlinear Complementarity Problems

We consider several synchronous and asynchronous multisplitting iteration schemes for solving aclass of nonlinear complementarity problems with the system matrix being an H-matrix.We establish theconvergence theorems for the schemes.The numerical experiments show that the schemes are efficient forsolving the class of nonlinear complementarity problems.     

Bending-torsion vibration of a partially submerged cylinder with an arbitrary cross-section

An analytical method is presented to investigate the bending-torsion vibration characteristics of a cylinder with an arbitrary cross-section and partially submerged in water. The compressibility and the free surface waves of the water are considered simultaneously in the analysis. The exact solution of structure–water interaction is obtained mathematically. Firstly, the analytical expression of the velocity potential of the water is derived by using the method of separation of variables. The unknown coefficients in the velocity potential are determined by the longitudinal and circumferential Fourier expansions along the outer surface of the cylinder and are expressed in the form of integral equations including the unknown dynamic bending deflection and torsional angle of the cylinder. Secondly, the force and torque acting on the cylinder per unit length, provided by the water, are obtained by integrating the water dynamic pressure along the circumference of the cylinder. The general solution of bending-torsion vibration of the cylinder under the water dynamic pressure is derived analytically. The integral equations included in the velocity potential of the water can be solved exactly. Finally, the eigenfrequency equation of cylinder–water interaction is obtained by means of the boundary conditions of the cylinder. Some numerical examples for elliptical columns partially submerged in water are provided to show the application of the present method.     

Time dependent analysis of finite buffer fluid flows and risk models with a dividend barrier

Based on the matrix-analytic approach to fluid flows initiated by Ramaswami, we develop an efficient time dependent analysis for a general Markov modulated fluid flow model with a finite buffer and an arbitrary initial fluid level at time 0. We also apply this to an insurance risk model with a dividend barrier and a general Markovian arrival process of claims with possible dependencies in successive inter-claim intervals and in claim sizes. We demonstrate the implementability and accuracy of our algorithms through a set of numerical examples that could also serve as test cases for comparing other solution approaches.