We give a non-perturbative construction of a distinguished state for the quantized Dirac field in Minkowski space in the presence of a time-dependent external field of the form of a plane electromagnetic wave. By explicit computation of the fermionic signature operator, it is shown that the Dirac operator has the strong mass oscillation property. We prove that the resulting fermionic projector ...

As we know, observables are associated to Hermitian operators. Given one such operator A we can use it to measure some property of the physical system, as represented by a state Ψ. If the state is in an eigenstate of the operator A, we have no uncertainty in the value of the observable, which coincides with the eigenvalue corresponding to the eigenstate. We only have uncertainty in the value of...

This paper investigates the problem of state feedback H∞ control for singular systems through delta operator approach. Firstly, a bounded real lemma corresponding to a singular continuous system under the framework of the delta operator model is obtained. Then, the existence condition and explicit expression of a desirable H∞ controller for the singular delta operator system are presented. As s...

We present the notion of consistency relation in UML and B multiview specifications. It is defined as a semantic relation between both views. It provides us with a sound basis to define the notion of development operator. An operator models a development step; it separates the design decisions from their expression in the specification formalisms. Operator correctness is defined as a property w...

In this paper, we introduce and study a generalized Yosida approximation operator associated to H(·, ·)-co-accretive operator and discuss some of its properties. Using the concept of graph convergence and resolvent operator, we establish the convergence for generalized Yosida approximation operator. Also, we show an equivalence between graph convergence for H(·, ·)-co-accretive operator and gen...