Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

Nontrivial Solutions for Resonant Hemivariational Inequalities

We study a resonant semilinear elliptic hemivariational inequality. Under some assumptions of strong resonance on the Clarke subdifferential of the superpotential, and using nonsmooth critical point theory, the existence of a nontrivial solution of the problem is shown. This paper has been partially supported by the State Committee for Scientific Research of Poland (KBN) under research grants no. 2 P03A 003 25 and no. 4 T07A 027 26.     

Low-temperature property investigation of the lead indium-niobate-lead nickel-niobate solid solution

The complex perovskite solid solution (1−x) Pb(In_1/2Nb_1/2)O₃-(x) Pb(Ni_1/3Nb_2/3)O₃ has been successfully prepared by the Columbite precursor method. The temperature dependencies of the dielectric constant and pyroelectric coefficient were measured between −261 and 200 °C. Relaxor ferroelectric behavior has been noticed in all compositions across the solid solution. The room-temperature electrostrictive coefficient, Q₃₃, was 1.83×10⁻² C²/m⁴ for x=0.10. No room-temperature piezoelectric activity was detected; however, upon cooling to −261 °C the maximum coupling coefficients k_p=29%, k_t=11%, and k₃₃=31% were observed for the composition x=1.00.     

Pythagorean euclidean four point properties

Characterizations of real inner product spaces among a class of metric spaces have been obtained based on homogeneity of metric pythagorean orthogonality, a metrization of the concept of pythagorean orthogonality as defined in normed linear spaces. In the present paper a considerable weakening of this hypothesis is shown to characterize real inner product spaces among complete, convex, externally convex metric spaces, generalizing a result of Kapoor and Prasad [9], and providing a connection with the many characterizations of such spaces using euclidean four point properties.     

Alloy formation in mechanically activated mixtures

The physical mixtures of hydroxocarbonates of Cu and Ni with aluminium were activated using a laboratory planetary mill. The chemical reactions and alloy formations as the effects of grinding were followed by the phase analysis of solid products based on the thermogravimetry and X-ray diffractometry. Experimental evidence indicates that the nature of reactions and products of mechanical activation was dependent on the amount of aluminium and time of grinding. This revised version was published online in July 2006 with corrections to the Cover Date.     

Physical Analysis of a Possibility to Reach the 1.30-μm Emission from the GaAs-Based VCSELs with the InGaAs/GaAs Quantum-Well Active Regions and the Intentionally Detuned Optical Cavities

Physical aspects of an operation of the GaAs-based InGaAs/GaAs quantum-well (QW) VCSELs with the intentionally detuned optical cavities have been considered in the present paper using the comprehensive three-dimensional self-consistent optical–electrical–thermal-gain simulation. In GaAs-based structures, very good DBR resonator mirrors and a very efficient methods to confine radially both the current spreading and the electromagnetic field with the aid of oxide apertures may be applied. It has been found using the above simulation that even currently available immature technology enables manufacturing the above devices emitting radiation of wavelengths over 1.20 μm. In particular, while the room-temperature 1.30-μm lasing emission is still beyond possibilities of the InGaAs/GaAs QW VCSELs, these structures may offer analogous 1.25-μm emission, especially for the high-power and/or high-temperature operation.     

Interpolation of Bilinear Operators Between Quasi-Banach Spaces

We study interpolation, generated by an abstract method of means, of bilinear operators between quasi-Banach spaces. It is shown that under suitable conditions on the type of these spaces and the boundedness of the classical convolution operator between the corresponding quasi-Banach sequence spaces, bilinear interpolation is possible. Applications to the classical real method spaces, Calderón-Lozanovsky spaces, and Lorentz-Zygmund spaces are presented. The author is supported by the National Science Foundation under grant DMS 0099881. The author is supported by KBN Grant 1 P03A 013 26.     

Current and shot noise in two capacitively coupled single electron transistors with an atomic sized spacer

The currents and their fluctuations in two capacitively coupled single electron transistors are determined in the limit of sequential tunnelling. Our considerations are restricted to the case when the islands (dots) of the transistors are atomic-sized, which means each of them has only one single electronic level available for the tunnelling processes. The Coulomb interactions of accumulated charges on the both single electron transistors lead to the effect of the negative differential resistance. An enhancement of the current shot-noise was also found. Spectral decomposition analysis indicated the two main contributions to the shot-noise: low- and high-frequency fluctuations. It was found that the low frequency fluctuations (polarization noise) are responsible for a strong enhancement of the current noise. Received 9 October 2001 / Received in final form 8 March 2002 Published online 9 July 2002     

On theK-property of some planar hyperbolic billiards

TheK-property is demonstrated for a class of planar billiards satisfying Wojtkowski's principles. Their boundary may consist of convex-scattering, concave and linear pieces. Earlier Wojtkowski showed that these billards had non-zero Lyapunov exponents.