Well‐posedness of initial boundary value problems on longitudinal impact on a composite linear viscoelastic bar

We investigate the correctness of the initial boundary value problem of longitudinal impact on a piecewise‐homogeneous semi‐infinite bar consisting of a semi‐infinite elastic part and finite length visco‐elastic part whose hereditary properties are described by linear integral relations with an arbitrary difference kernel. Introducing nonstationary regularization in boundary conditions and in the contact conditions, the well‐posedness of the considered problem is proved. Copyright © 2017 John Wiley & Sons, Ltd.     

Scattering on a Compact Domain with Few Semi‐Infinite Wires Attached: Resonance Case

A Scattering problem is studied for Neumann Laplacian with a continuous potential on a domain with a smooth boundary and few semi‐infinite wires attached to it at the points of contact on the boundary. In resonance case when the frequency of the incoming waves in the wires coincides with some resonance frequency of the domain the approximate formula for the transmission coefficient from one wire to another is derived: in the case of weak interaction between the domain and the wires the transmission coefficient is proportional to the product of values of the corresponding resonance eigenfunction of inner problem at the corresponding points of contact.     

Numerical solution of the heat equation with nonlinear boundary conditions in unbounded domains

The numerical solution of the heat equation in unbounded domains (for a 1D problem‐semi‐infinite line and for a 2D one semi‐infinite strip) is considered. The artificial boundaries are introduced and the exact artificial boundary conditions are derived. The original problems are transformed into problems on finite domains. The space semi‐discretization by finite element method and the full approximation by the implicit‐explicit Euler's method are presented. The solvability of the full discretization schemes is analyzed. Computational examples demonstrate the accuracy and the efficiency of the algorithms. Also, the behavior of blowing up solutions is examined numerically. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 23: 379–399, 2007     

Towards a Mathematical Theory of Super‐resolution

This paper develops a mathematical theory of super‐resolution. Broadly speaking, super‐resolution is the problem of recovering the fine details of an object—the high end of its spectrum—from coarse scale information only—from samples at the low end of the spectrum. Suppose we have many point sources at unknown locations in [0,1] and with unknown complex‐valued amplitudes. We only observe Fourier samples of this object up to a frequency cutoff f_c. We show that one can super‐resolve these point sources with infinite precision—i.e., recover the exact locations and amplitudes—by solving a simple convex optimization problem, which can essentially be reformulated as a semidefinite program. This holds provided that the distance between sources is at least 2/f_c. This result extends to higher dimensions and other models. In one dimension, for instance, it is possible to recover a piecewise smooth function by resolving the discontinuity points with infinite precision as well. We also show that the theory and methods are robust to noise. In particular, in the discrete setting we develop some theoretical results explaining how the accuracy of the super‐resolved signal is expected to degrade when both the noise level and the super‐resolution factor vary. © 2014 Wiley Periodicals, Inc.     

Stokes' first problem for a Newtonian fluid in a non‐Darcian porous half‐space using a Laguerre–Galerkin method

A Laguerre–Galerkin method is proposed and analysed for the Stokes' first problem of a Newtonian fluid in a non‐Darcian porous half‐space on a semi‐infinite interval. It is well known that Stokes' first problem has a jump discontinuity on boundary which is the main obstacle in numerical methods. By reformulating this equation with suitable functional transforms, it is shown that the Laguerre–Galerkin approximations are convergent on a semi‐infinite interval with spectral accuracy. An efficient and accurate algorithm based on the Laguerre–Galerkin approximations of the transformed equations is developed and implemented. Numerical results indicating the high accuracy and effectiveness of this algorithm are presented. Copyright © 2007 John Wiley & Sons, Ltd.     

Mixed antiplane boundary‐value problem for a piecewise‐homogeneous elastic body with a semi‐infinite interfacial crack

Antiplane stress state of a piecewise‐homogeneous elastic body with a semi‐infinite crack along the interface is considered. The longitudinal displacements along one of the crack edges on a finite interval, adjacent to the crack tip, are known. Shear stresses are applied to the body along the crack edges and at infinity. The problem reduces to a Riemann–Hilbert boundary‐value matrix problem with a piecewise‐constant coefficient for a complex potential in the class of symmetric functions. The complex potential is found explicitly using a Gaussian hypergeometric function. The stress state of the body close to the singular points is investigated. The stress intensity factors are determined. Copyright © 2016 John Wiley & Sons, Ltd.     

Interface Problems for Dispersive Equations

The interface problem for the linear Schrödinger equations in one‐dimensional piecewise homogeneous domains is examined by providing an explicit solution in each domain. The location of the interfaces is known and the continuity of the wave function and a jump in their derivative at the interface are the only conditions imposed. The problem of two semi‐infinite domains and that of two finite‐sized domains are examined in detail. The problem and the method considered here extend that of an earlier paper by Deconinck et al. (2014) [1]. The dispersive nature of the problem presents additional difficulties that are addressed here.     

Estimates for the low‐frequency electromagnetic fields scattered by two adjacent metal spheres in a lossless medium

Inductive electromagnetic means, currently employed in real physical applications and dealing with voluminous bodies embedded in lossless media, often call for analytically demanding tools of field calculation at modeling stage and later on at numerical stage. Here, one is considering two closely adjacent perfect conductors, possibly almost touching one another, for which the 3D bispherical geometry provides a good approximation. The particular scattering problem is modeled with respect to the two solid impenetrable metallic spheres, which are excited by a time‐harmonic magnetic dipole, arbitrarily orientated in the 3D space. The incident, the scattered, and the total non‐axisymmetric electromagnetic fields yield rigorous low‐frequency expansions in terms of positive integral powers of the real‐valued wave number in the exterior medium. We keep the most significant terms of the low‐frequency regime, that is, the static Rayleigh approximation and the first three dynamic terms, while the additional terms are small contributors and they are neglected. The typical Maxwell‐type problem is transformed into intertwined either Laplace's or Poisson's potential‐type boundary value problem with impenetrable boundary conditions. In particular, the fields are represented via 3D infinite series expansions in terms of bispherical eigenfunctions, obtaining analytical closed‐form solutions in a compact fashion. This procedure leads to infinite linear systems, which can be solved approximately within any order of accuracy through a cutoff technique.     

Propagation of SH‐wave in an initially stressed orthotropic medium sandwiched by a homogeneous and an inhomogeneous semi‐infinite media

The paper presents a study of propagation of shear wave (SH‐wave) in an orthotropic elastic medium under initial stress sandwiched by a homogeneous semi‐infinite medium and an inhomogeneous half‐space. The technique of separation of variables has been adopted to get the analytical solutions for the dispersion relation in a closed form. The propagation of SH‐waves is influenced by inhomogeneity parameters and initial stress parameter. Velocities of SH‐waves are calculated numerically for different cases. As a special case when the intermediate layer and half‐space are homogeneous, computed frequency equation coincides with general equation of Love wave. To study the effect of inhomogeneity parameters and initial stress parameter, we have plotted the velocity of SH‐wave in several figures and observed that the velocity of wave decreases with the increases of non‐dimensional wave number. It can be found that the phase velocity decreases with the increase of inhomogeneity parameters. We observed that the velocity of SH‐wave decreases with the increases of initial stress parameter in both homogeneous and inhomogeneous media. GUI has been developed by using MATLAB to generalize the effect of the parameters discussed. Copyright © 2014 John Wiley & Sons, Ltd.     

One‐way infinite 2‐walks in planar graphs

We prove that every 3‐connected 2‐indivisible infinite planar graph has a 1‐way infinite 2‐walk. (A graph is 2‐indivisible if deleting finitely many vertices leaves at most one infinite component, and a 2‐walk is a spanning walk using every vertex at most twice.) This improves a result of Timar, which assumed local finiteness. Our proofs use Tutte subgraphs, and allow us to also provide other results when the graph is bipartite or an infinite analog of a triangulation: then the prism over the graph has a spanning 1‐way infinite path.     

A non‐commutative Landau‐Zener formula

We study semi‐classical measures of families of solutions to a 2 × 2 Dirac system with 0 mass, which presents bands crossing. We focus on constant electro‐magnetic fields. The fact that these fields are orthogonal or not leads to different geometric situations. In the first case, one reduces to some well‐understood model problem. For studying the second case, we introduce some two‐scale semi‐classical measures associated with symplectic submanifold. These measures are operator‐valued measures and the transfer of energy at the crossing is described by a non‐commutative Landau‐Zener formula for these measures. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Random surface growth with a wall and Plancherel measures for O (∞)

We consider a Markov evolution of lozenge tilings of a quarter‐plane and study its asymptotics at large times. One of the boundary rays serves as a reflecting wall. We observe frozen and liquid regions, prove convergence of the local correlations to translation‐invariant Gibbs measures in the liquid region, and obtain new discrete Jacobi and symmetric Pearcey determinantal point processes near the wall. The model can be viewed as the one‐parameter family of Plancherel measures for the infinite‐dimensional orthogonal group, and we use this interpretation to derive the determinantal formula for the correlation functions at any finite‐time moment. © 2010 Wiley Periodicals, Inc.     

Non‐self‐adjoint singular second‐order dynamic operators on time scale

In this study, maximal dissipative second‐order dynamic operators on semi‐infinite time scale are studied in the Hilbert space , that the extensions of a minimal symmetric operator in limit‐point case. We construct a self‐adjoint dilation of the dissipative operator together with its incoming and outgoing spectral representations so that we can determine the scattering function of the dilation as stated in the scheme of Lax‐Phillips. Moreover, we construct a functional model of the dissipative operator and identify its characteristic function in terms of the Weyl‐Titchmarsh function of a self‐adjoint second‐order dynamic operator. Finally, we prove the theorems on completeness of the system of root functions of the dissipative and accumulative dynamic operators.     

Three‐dimensional Stokes flow caused by a translating–rotating sphere bisected by a free surface bounding a semi‐infinite micropolar fluid

Explicit velocity and microrotation components and systematic calculation of hydrodynamic quasistatic drag and couple in terms of nondimensional coefficients are presented for the flow problem of an incompressible asymmetrical steady semi‐infinite micropolar fluid arising from the motion of a sphere bisected by a free surface bounding a semi‐infinite micropolar fluid. Two asymmetrical cases are considered for the motion of the sphere: parallel translation to the free surface and rotation about a diameter which is lying in the free surface. The speed of the translational motion and the angular speed for the rotational motion of the sphere are assumed to be small so that the nonlinear terms in the equations of motion can be neglected under the usual Stokesian approximation. A linear slip, Basset‐type, boundary condition has been used. The variation of the resistance coefficients is studied numerically and plotted versus the micropolarity parameter and slip parameter. The two limiting cases of no‐slip and perfect slip are then recovered. Copyright © 2008 John Wiley & Sons, Ltd.     

Optimal finite difference grids and rational approximations of the square root I. Elliptic problems

The main objective of this paper is optimization of second‐order finite difference schemes for elliptic equations, in particular, for equations with singular solutions and exterior problems. A model problem corresponding to the Laplace equation on a semi‐infinite strip is considered. The boundary impedance (Neumann‐to‐Dirichlet map) is computed as the square root of an operator using the standard three‐point finite difference scheme with optimally chosen variable steps. The finite difference approximation of the boundary impedance for data of given smoothness is the problem of rational approximation of the square root on the operator's spectrum. We have implemented Zolotarev's optimal rational approx‐imant obtained in terms of elliptic functions. We have also found that a geometrical progression of the grid steps with optimally chosen parameters is almost as good as the optimal approximant. For bounded operators it increases from second to exponential the convergence order of the finite difference impedance with the convergence rate proportional to the inverse of the logarithm of the condition number. For the case of unbounded operators in Sobolev spaces associated with elliptic equations, the error decays as the exponential of the square root of the mesh dimension. As an example, we numerically compute the Green function on the boundary for the Laplace equation. Some features of the optimal grid obtained for the Laplace equation remain valid for more general elliptic problems with variable coefficients. © 2000 John Wiley & Sons, Inc.     

Asymptotic behaviour of a non‐classical heat conduction problem for a semi‐infinite material

The asymptotic behaviour of a heat conduction problem involving a non‐linear heat source depending on the heat‐flux occurring in the extremum of a semi‐infinite slab is discussed. Conditions are given on the non‐linearity so as to accelerate the convergence of the solution to zero. Copyright © 2000 John Wiley & Sons, Ltd.     

An extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system

This paper proposes an extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system. Chaitin's Ω is defined as the probability that the universal self‐delimiting Turing machine U halts, and plays a central role in the development of algorithmic information theory. In the theory, there are two equivalent ways to define the program‐size complexity H (s) of a given finite binary string s. In the standard way, H (s) is defined as the length of the shortest input string for U to output s. In the other way, the so‐called universal probability m is introduced first, and then H (s) is defined as –log₂ m (s) without reference to the concept of program‐size. Mathematically, the statistics of outcomes in a quantum measurement are described by a positive operator‐valued measure (POVM) in the most general setting. Based on the theory of computability structures on a Banach space developed by Pour‐El and Richards, we extend the universal probability to an analogue of POVM in an infinite dimensional quantum system, called a universal semi‐POVM. We also give another characterization of Chaitin's Ω numbers by universal probabilities. Then, based on this characterization, we propose to define an extension of Ω as a sum of the POVM elements of a universal semi‐POVM. The validity of this definition is discussed. In what follows, we introduce an operator version (s) of H (s) in a Hilbert space of infinite dimension using a universal semi‐POVM, and study its properties. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

ONE‐DIMENSIONAL TEMPORALLY DEPENDENT ADVECTION–DISPERSION EQUATION IN POROUS MEDIA: ANALYTICAL SOLUTION

Abstract Analytical solutions of one‐dimensional advection–dispersion equation in semi‐infinite longitudinal porous domain are obtained in this work. The solute dispersion parameter is considered temporally dependent along uniform flow. The first‐order decay term, which is inversely proportional to the dispersion coefficient, is also considered. Initially, the space domain is not solute free. Analytical solutions are obtained for uniform and varying pulse‐type input. A new time variable is introduced. The Laplace transform technique is used to get the analytical solutions.     

Resonances in periodic media

We study the propagation of linear acoustic waves (a) in an infinite string with a periodic material distribution, (b) in an infinite cylinder with a meterial distribution that is periodic in the longitudinal direction and does not depend on the transverse coordinates. We assume that the wave field is generated by a time-harmonic force distribution of frequency ω acting in a compact set. We show in both cases that resonances of order t^1/2 occur for a discrete set of frequencies and that the solution is bounded as t→∞ for the remaining frequencies. In case (a) ω is a resonance frequency if and only if ω² is a boundary point of one of the spectral bands of the corresponding spatial differential operator of Hill's type. A similar characterization of the resonance frequencies is given in case (b).     

A solution to the Lane–Emden equation in the theory of stellar structure utilizing the Tau method

In this paper, we propose a Tau method for solving the singular Lane–Emden equation—a nonlinear ordinary differential equation on a semi‐infinite interval. We applied collocation, Galerkin, and Tau methods for solving this problem, and according to the results, the solution of Tau method is the most accurate. The operational derivative and product matrices of the modified generalized Laguerre functions are presented. These matrices, in conjunction with the Tau method, are then utilized to reduce the solution of the Lane–Emden equation to that of a system of algebraic equations. We also present a comparison of this work with some well‐known results and show that the present solution is highly accurate. Copyright © 2012 John Wiley & Sons, Ltd.