A fundamental effect in computations on real numbers

AbstractFor several elementary constructions which often occur in computations on real numbers we prove that they possess unavoidable intensionalities. Our examples give sharp bounds for constructive extensional choices and Skolem functors in theories of order ⩾2

Hypersonic aerodynamics on thin bodies with interaction and upstream influence

In the fundamental configuration studied here, a steady hypersonic free stream flows over a thin sharp aligned airfoil or flat plate with a leading-edge shock wave, and the flow field in the shock layer (containing a viscous and an inviscid layer) is steady laminar and two-dimensional, for a perfect gas without real and high-temperature gas effects. The viscous and inviscid layers are analysed and computed simultaneously in the region from the leading edge to the trailing edge, including the upstream-influence effect present, to determine the interactive flow throughout the shock layer and the positions of the shock wave and the boundary-layer edge, where matching is required. Further theoretical analysis of the shock layer helps to explain the computational results, including the nonlinear breakdown possible when forward marching against enhanced upstream influence, for example as the wall enthalpy increases towards its insulated value. Then the viscous layer is computed by sweeping methods, for higher values of wall enthalpies, to prevent this nonlinear breakdown for airfoils including the flat plate. Thin airfoils in hypersonic viscous flow are treated, for higher values of the wall enthalpies and with the upstream-influence effect, as are hypersonic inviscid flows, by modifying the computational methods used for the flat plate. Also, the behaviour of the upstream influence for bodies of relatively large thickness, and under wall velocity slip and enthalpy jump for flat plates, is discussed briefly from a theoretical point of view. Subsequent to the present work, computations based on the Navier–Stokes and on the parabolized Navier–Stokes equations have yielded excellent and good agreement respectively with the present predictions for large Mach and Reynolds numbers

Approximated structured pseudospectra

Pseudospectra and structured pseudospectra are important tools for the analysis of matrices. Their computation, however, can be very demanding for all but small-matrices. A new approach to compute approximations of pseudospectra and structured pseudospectra, based on determining the spectra of many suitably chosen rank-one or projected rank-one perturbations of the given matrix is proposed. The choice of rank-one or projected rank-one perturbations is inspired by Wilkinson's analysis of eigenvalue sensitivity. Numerical examples illustrate that the proposed approach gives much better insight into the pseudospectra and structured pseudospectra than random or structured random rank-one perturbations with lower computational burden. The latter approach is presently commonly used for the determination of structured pseudospectra

Single-mode propagation of light in one-dimensional all-dielectric light-guiding systems

Numerical results are presented for single-mode guidance, which is based on photonic band gap (PBG) effect, in one-dimensional planar all-dielectric light-guiding systems. In such systems there may be two kinds of light-speed point (the intersection of a mode-dispersion curve and the light line of guiding region ambient medium): one is the intrinsic light-speed point that is independent of the guiding region width, and the other is the movable light-speed point that varies with the guiding region width. It is found that the intrinsic light-speed point plays an important role to form the single-mode regime by destroying the coexistence of the lowest guided TM and TE modes that are born with a degeneration point. A sufficient and necessary condition for intrinsic light-speed points is given. The transverse resonance condition is derived in the Maxwell optics frame, and it is shown that there is a significant revision to the traditional one in the ray optics model. A mode-lost phenomenon is exposed and this phenomenon suggests a way of how to identify PBG-guided fundamental modes. Quasi-cutoff-free index-guided modes in the PBG guiding structures, which appear when the higher-index layers are adjacent to the guiding region and the guiding region width is small, are exposed and analyzed as well.Comment: 13 pages, 8 figures, 32 reference