The Problem of the Pointwise Fourier Inversion for Piecewise Smooth Functions of Several Variables

We study the pointwise convergence problem for the inverse Fourier transform of piecewise smooth functions, i.e., whether S_rD f (\bx) ? f (\bx)S_{\rho D} f (\bx) \to f (\bx) as r? ￥\rho \to \infty . r? ￥\rho \to \infty . Here for \bx,\bxi ? \Rn\bx,\bxi \in \Rn S_rDf(\bmx)=\dsf1(2p)^n/2\intli_rD [^(f)](\bxi) e^{\dst iá\bmx,\bxi?} d\bxi . S_{\rho D}f(\bm{x})=\dsf1{(2\pi)^{n/2}}\intli_{\rho D} \widehat{f}(\bxi) e^{\dst i\langle\bm{x},\bxi\rangle} d\bxi~. is the partial sum operator using a convex and open set DD containing the origin, and rD={ r\bxi:\bxi ? D }\rho D=\left\{ \rho \bxi:\bxi\in D \right\}.     

Sub-bundles of the complexified tangent bundle

We study embeddings of complex vector bundles, especially line bundles, in the complexification of the tangent bundle of a manifold. The aim is to understand implications of properties of interest in partial differential equations.

     

Advances in constant-velocity Mössbauer instrumentation

A prototype of a programmable constant-velocity scaler is presented. This instrument allows the acquisition of partial Mössbauer spectra in selected energy regions using standard drivers and transducers. It can be fully operated by a remote application, thus data acquisition can be automated. The instrument consists of a programmable counter and a constant-velocity reference. The reference waveform generator is amplitude modulated with 13-bit resolution, and is programmable in a wide range of frequencies and waveforms in order to optimize the performance of the transducer. The counter is compatible with most standard SCA, and is configured as a rate-meter that provides counts per selectable time slice at the programmed velocity. As a demonstration of the instrument applications, a partial Mössbauer spectrum of a natural iron foil was taken. Only positive energies were studied in 512 channels, accumulating 20 s per channel. A line width of 0.20 mm/s was achieved, performing with an efficiency of 80%.     

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.