Related papers: Formalization of Lerch's Theorem using HOL Light
We formulate a coherent approach to signals and systems theory on time scales. The two derivatives from the time-scale calculus are used, i.e., nabla (forward) and delta (backward), and the corresponding eigenfunctions, the so-called nabla…
A boundary element method (BEM) simulation is used to compare the efficiency of numerical inverse Laplace transform strategies, considering general requirements of Laplace-space numerical approaches. The two-dimensional BEM solution is used…
Extensive N-body simulations are among the key means for the study of numerous astrophysical and cosmological phenomena, so various schemes are developed for possibly higher accuracy computations. We demonstrate the principal possibility…
The transformation method is a powerful tool for providing the constitutive parameters of the transformed material in the new coordinates. In transformation elasticity, a general curvilinear change of coordinates transforms conventional…
In this paper we discuss a projection model order reduction (MOR) method for a class of parametric linear evolution PDEs, which is based on the application of the Laplace transform. The main advantage of this approach consists in the fact…
Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical…
In this work, we present a semi-numerical solution of a fractal telegraphic dual-porosity fluid flow model. It combines Laplace transform and finite difference schemes. The Laplace transform handles the time variable whereas the finite…
We propose a boundary integral formulation for the dynamic problem of electromagnetic scattering and transmission by homogeneous dielectric obstacles. In the spirit of Costabel and Stephan, we use the transmission conditions to reduce the…
A manifestly relativistic-invariant Lellouch-L\"uscher formalism for the three-particle decays is proposed. Similarly to ref.[1], the formalism is based on the use of the non-relativistic effective Lagrangians. Manifest Lorentz invariance…
Grover's algorithm relies on the superposition and interference of quantum mechanics, which is more efficient than classical computing in specific tasks such as searching an unsorted database. Due to the high complexity of quantum…
In the present paper authors introduce the L_n-integral transform and the inverse integral transform for n = 2^k, k=0,1,2,..., as a generalization of the classical Laplace transform and the inverse Laplace transform, respectively.…
In this paper, we introduce a Laplace-type integral transform called the Shehu transform which is a generalization of the Laplace and the Sumudu integral transforms for solving differential equations in the time domain. The proposed…
In this work is considered a spectral problem, involving a second order term on the domain boundary: the Laplace-Beltrami operator. A variational formulation is presented, leading to a finite element discretization. For the Laplace-Beltrami…
Previously developed method for finding asymptotic solutions of Vlasov equations using two-dimensional (in coordinate x and time t) Laplace transform is applied to low-collision electron-ion plasmas. Taking into account Coulomb collisions…
Formal Concept Analysis makes the fundamental observation that any finite lattice $(L, \leq)$ is determined up to isomorphism by the restriction of the relation ${\leq} \subseteq L \times L$ to the set $J(L) \times M(L)$, where $J(L)$ is…
Discrete transforms such as the discrete Fourier transform (DFT) or the discrete Hartley transform (DHT) furnish an indispensable tool in signal processing. The successful application of transform techniques relies on the existence of the…
The problem of determining the manner in which an incoming acoustic wave is scattered by an elastic body immersed in a fluid is one of central importance in detecting and identifying submerged objects. The problem is generally referred to…
When integrating the radiative transfer equation for polarized light, the necessity of high-order numerical methods is well known. In fact, well-performing high-order formal solvers enable higher accuracy and the use of coarser spatial…
Laplace transform method has proved to be very efficient and easy to parallelize for the solution of time-dependent problems. However, the synchronization delay among processors implies an upper bound on the expectable acceleration factor,…
Further to a recent controversy on whether the differential transformation method (DTM) for solving a differential equation is purely and solely the traditional Taylor series method, it is emphasized that the DTM is currently used, often…