A posteriori error analysis of a quadratic finite volume method for nonlinear elliptic problems

In this article, we construct and analyze a residual-based a posteriori error estimator for a quadratic finite volume method (FVM) for solving nonlinear elliptic partial differential equations with homogeneous Dirichlet boundary conditions. We shall prove that the a posteriori error estimator yields the global upper and local lower bounds for the norm error of the FVM. So that the a posteriori error estimator is equivalent to the true error in a certain sense. Numerical experiments are performed to illustrate the theoretical results.     

Condensation of all-cis-tetraphenylcyclotetrasiloxanetetraol in ammonia: new method for preparation of ladder-like polyphenylsilsesquioxanes

1. Download : Download high-res image (68KB)
2. Download : Download full-size image

     

On Series of Ordinals and Combinatorics

This paper deals mainly with generalizations of results in finitary combinatorics to infinite ordinals. It is well-known that for finite ordinals ∑_bT<αβ is the number of 2-element subsets of an α-element set. It is shown here that for any well-ordered set of arbitrary infinite order type α, ∑_bT<αβ is the ordinal of the set M of 2-element subsets, where M is ordered in some natural way. The result is then extended to evaluating the ordinal of the set of all n-element subsets for each natural number n ≥ 2. Moreover, series ∑_β<αf(β) are investigated and evaluated, where α is a limit ordinal and the function f belongs to a certain class of functions containing polynomials with natural number coefficients. The tools developed for this result can be extended to cover all infinite α, but the case of finite α appears to be quite problematic.     

Existence and Stability for Spherical Crystals Growing in a Supersaturated Solution

We consider the growth of a spherical crystal in a supersaturatedsolution. In the first part, existence and uniqueness resultsfor radially symmetric growth are obtained, provided that thesupersaturation is not too large; conversely, when the far-fieldsupersaturation exceeds a critical value, it is shown that theradially symmetric solution ceases to exist in finite time.In the second part, we examine the linear stability of a radiallysymmetric similarity solution (in which the radius grows ast?) to shape perturbations. The results are compared with previousquasi-static analyses, and, in particular, the critical radiusat which the crystal becomes unstable is found to be largerfor small supersaturations, but smaller for large supersaturations,than those predicted by the quasi-static analysis     

Numerical solutions of the shallow water equations with discontinuous bed topography

A simple scheme is developed for treatment of vertical bed topography in shallow water flows. The effect of the vertical step on flows is modelled with the shallow water equations including local energy loss terms. The bed elevation is denoted with z_b^‐ for the left and z_b⁺ for the right values at each grid point, hence exactly representing a discontinuity in the bed topography. The surface gradient method (SGM) is generalized to reconstruct water depths at cell interfaces involving a vertical step so that the fluxes at the cell interfaces can accurately be calculated with a Riemann solver. The scheme is verified by predicting a surge crossing a step, a tidal flow over a step and dam‐break flows on wet/dry beds. The results have shown good agreements compared with analytical solutions and available experimental data. The scheme is efficient, robust, and may be used for practical flow calculations. Copyright © 2002 John Wiley & Sons, Ltd.     

Franck-Condon factors and relative strengths of the c1Σu → α1Δg,c1Σu → X3Σg electronic transitions in the O2 molecule

Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 54, No. 1, pp. 46–50, January, 1991.     

Efficient computation of natural convection in a concentric annulus between an outer square cylinder and an inner circular cylinder

In this work, the natural convection in a concentric annulus between a cold outer square cylinder and a heated inner circular cylinder is simulated using the differential quadrature (DQ) method. The vorticity‐stream function formulation is used as the governing equation, and the coordinate transformation technique is introduced in the DQ computation. It is shown in this paper that the outer square boundary can be approximated by a super elliptic function. As a result, the coordinate transformation from the physical domain to the computational domain is set up by an analytical expression, and all the geometrical parameters can be computed exactly. Numerical results for Rayleigh numbers range from 104 to 106 and aspect ratios between 1.67 and 5.0 are presented, which are in a good agreement with available data in the literature. It is found that both the aspect ratio and the Rayleigh number are critical to the patterns of flow and thermal fields. The present study suggests that a critical aspect ratio may exist at high Rayleigh number to distinguish the flow and thermal patterns. Copyright © 2002 John Wiley & Sons, Ltd.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Black-hole horizon and metric singularity at the brane separating two sliding superfluids

An analogue of a black hole can be realized in the low-temperature laboratory. The horizon can be constructed for “relativistic” ripplons (surface waves) living on the brane. The brane is represented by the interface between two superfluid liquids, ³He-A and ³He-B, sliding along each other without friction. A similar experimental arrangement was recently used for the observation and investigation of the Kelvin-Helmholtz type of instability in superfluids [1]. The shear-flow instability in superfluids is characterized by two critical velocities. The lowest threshold measured in recent experiments [1] corresponds to the appearance of the ergoregion for ripplons. In the modified geometry, this will give rise to the black-hole event horizon in the effective metric experienced by ripplons. In the region behind the horizon, the brane vacuum is unstable due to interaction with the higher-dimensional world of bulk superfluids. The time of the development of instability can be made very long at low temperature. This will allow us to reach and investigate the second critical velocity—the proper Kelvin-Helmholtz instability threshold. The latter corresponds to the singularity inside the black hole, where the determinant of the effective metric becomes infinite.