Abstract. Certain facts about frames and generalized frames (g- frames) are extended for the g-frames for Hilbert C*-modules. It is shown that g-frames for Hilbert C*-modules share several useful properties with those for Hilbert spaces. The paper also character- izes the operators which preserve the class of g-frames for Hilbert C*-modules. Moreover, a necessary and suffcient condition is ob- ...

Summary Previous Mizar articles [7, 6, 5] formalized the implicit and inverse function theorems for Frechet continuously differentiable maps on Banach spaces. In this paper, using system [1], [2], we formalize these Euclidean spaces by specializing them. We referred to [4], [12], [10], [11] in formalization.

in this paper, simultaneous control of source terms is considered in a vibrational string problem.in the considered problem, the terms to be controlled are the force and the initial velocity functions. we statethe generalized (weak) solution about the considered problem. the existence and uniqueness of the solutionfor optimal control problem is investigated. the frechet derivative of the functi...