A Second Main Theorem of Nevanlinna Theory for Meromorphic Functions on Complex Submanifolds in C<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We show a second main theorem of Nevalinna theory for meromorphic functions on complex submanifolds in C ⁿ . This has a similar form to the classical one and has a remainder term including Ricci curvature. We also give a concrete computation of the remainder term in the case of nonsingular algebraic submanifolds. Partially supported by the Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science.     

Modeling the drainage and groundwater table above the collecting pipe through 2D groundwater models

In order to understand the effects of the landfill operation on groundwater flow behavior, 2D horizontal groundwater simulation model was carried out. The model saved the memory of computer and time consumption comparing with 3D groundwater flow model. However, the most difficulty is the assignment of collecting pipe boundary in the study site. Therefore, 2D vertical model was applied to calculate the change of groundwater table above the collecting pipe. This paper paid attention to examine the validation of the assignment of the collecting pipe boundary by applying the results of 2D vertical model. 2D horizontal model was coupled with the recharge model to solve the partial differential equation of groundwater flow. Finite difference method and iterative successive over relaxation were applied. The drainage volume of leachate collection was summed up in the whole landfill site and compared with the average volume of treated waste water. The study demonstrated that the results of 2D vertical model validated and can be applied to 2D horizontal groundwater flow simulation.     

Remark on pathwise uniqueness of stochastic differential equations driven by Lévy processes

Consider real-valued processes determined by stochastic differential equations driven by Lévy processes. The jump parts of the driving Lévy process are not always α-stable ones, nor symmetric ones. In the present article, we shall study the pathwise uniqueness of the solutions to the stochastic differential equations under the conditions on the coefficients that the diffusion and the jump terms are Hölder continuous, while the drift one is monotonic. Our approach is based on Gronwall’s inequality.     

Towards computability of elliptic boundary value problems in variational formulation

We present computable versions of the Fréchet–Riesz Representation Theorem and the Lax–Milgram Theorem. The classical versions of these theorems play important roles in various problems of mathematical analysis, including boundary value problems of elliptic equations. We demonstrate how their computable versions yield computable solutions of the Neumann and Dirichlet boundary value problems for a simple non-symmetric elliptic differential equation in the one-dimensional case. For the discussion of these elementary boundary value problems, we also provide a computable version of the Theorem of Schauder, which shows that the adjoint of a computably compact operator on Hilbert spaces is computably compact again.     

The Toda molecule equation and the -algorithm

One of the well-known convergence acceleration methods, the -algorithm is investigated from the viewpoint of the Toda molecule equation. It is shown that the error caused by the algorithm is evaluated by means of solutions for the equation. The acceleration algorithm based on the discrete Toda molecule equation is also presented.

     

Fixed Width Confidence Region for the Mean of a Multivariate Normal Distribution

Srivastava gave an asymptotically efficient and consistent sequential procedure to obtain a fixed-width confidence region for the mean vector of any p-dimensional random vector with finite second moments. For normally distributed random vectors, Srivastava and Bhargava showed that the specified coverage probability is attained independent of the width, the mean vector, and the covariance matrix by taking a finite number of observations over and above T prescribed by the sequential rule. However, the problem of showing that E(T−n₀) is bounded, where n₀ is the sample size required if the covariance matrix were known, has not been available. In this paper, we not only show that it is bounded but obtain sharper estimates of E(T) on the lines of Woodroofe. We also give an asymptotic expansion of the coverage probability. Similar results have recently been obtained by Nagao under the assumption that the covariance matrix Σ=∑^k_i=1 σ_iA_i and ∑^k_i=1 A_i=I, where A_i's are known matrices. We obtain the results of this paper under the sole assumption that the largest latent root of Σ is simple.     

Purity for overconvergence

Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isoc<sup>f</sup>(X,[`(X)]) ? F-Isoc^f(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.     

Effect of impurity atoms on α2/γ lamellar interfacial misfit in Ti–Al alloy: a systematic first principles study

The effect of transition metal solutes on the lattice parameters of γ-TiAl and α₂-Ti₃Al were studied by first principles calculations to find suitable elements for controlling the α₂/γ interfacial misfit in lamellar Ti–Al alloys. Better agreement was found between the calculated and experimental phase and site preferences of impurity atoms than in a previous first principles study. The calculated lattice parameters suggest that elements in groups 6–11 of the 4th period (Cr, Mn, Fe, Co, Ni and Cu) are effective for increasing the misfit, leading to increasing density of misfit dislocation and, in turn, higher yield strength and ductility. This effect is caused by the change in the lattice parameter of the γ-TiAl phase rather than those of α₂-Ti₃Al phase. This prediction agrees qualitatively with experimental data from a previous study although the effects of temperature are not taken into account. Further improvements should be possible by considering those effects. Nevertheless, the results highlight the effects of impurity addition on interfacial misfit at a level which cannot be achieved by classical concepts such as atomic size in a hard sphere model. The results will also be valuable in further more quantitative predictions and in understanding the effects of temperature, including off-stoichiometry, thermal expansion and vibration entropy.