Results 21 to 30 of about 11,194,513 (228)
The ill-posed Helmholtz equation with inhomogeneous boundary deflection in a Hilbert space is regularized using the divergence regularization method (DRM).
Benedict Barnes +2 more
doaj +1 more source
Observability and uniqueness theorem for a coupled hyperbolic system
We deal with the inverse inequality for a coupled hyperbolic system with dissipation. The inverse inequality is an indispensable inequality that appears in the Hilbert Uniqueness Method (HUM), to establish equivalence of norms which guarantees uniqueness
Boris V. Kapitonov, Joel S. Souza
doaj +1 more source
A class of inverse problems for restoring the right-hand side of the pseudo-parabolic equation with one fractional Sturm–Liouville operator is considered.
D. Serikbaev, N. Tokmagambetov
doaj +1 more source
Inverse Sturm–Liouville Problem with Spectral Parameter in the Boundary Conditions
In this paper, for the first time, we study the inverse Sturm–Liouville problem with polynomials of the spectral parameter in the first boundary condition and with entire analytic functions in the second one.
Natalia P. Bondarenko, Egor E. Chitorkin
doaj +1 more source
The Regional Enlarged Observability for Hilfer Fractional Differential Equations
In this paper, we investigate the concept of regional enlarged observability (ReEnOb) for fractional differential equations (FDEs) with the Hilfer derivative. To proceed this, we develop an approach based on the Hilbert uniqueness method (HUM). We mainly
Abu Bakr Elbukhari, Zhenbin Fan, Gang Li
doaj +1 more source
In this paper, we consider an acoustic equation with incomplete data, where the bulk modulus coefficient and initial conditions are partially known. Our goal is to get information about the bulk modulus coefficient independently of the initial conditions
Billal Elhamza, Abdelhak Hafdallah
doaj +1 more source
We study the regional controllability problem for delayed fractional control systems through the use of the standard Caputo derivative. First, we recall several fundamental results and introduce the family of fractional-order systems under consideration.
Touria Karite +2 more
doaj +1 more source
Averaged Control Problems Governed by a Semilinear Distributed Systems
In this work, we consider the regional averaged controllability (RAC) problem governed by a class of semilinear hyperbolic systems. We start by giving the definitions of the exact and approximate RAC systems.
Rabie Zine +3 more
doaj +1 more source
Controllability for a Wave Equation with Moving Boundary
We investigate the controllability for a one-dimensional wave equation in domains with moving boundary. This model characterizes small vibrations of a stretched elastic string when one of the two endpoints varies. When the speed of the moving endpoint is
Lizhi Cui, Libo Song
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source

