On inverse problem leading to second-order linear functionals
نویسندگان
چکیده
منابع مشابه
On Monadic Parametricity of Second-Order Functionals
How can one rigorously specify that a given ML functional f : (int → int) → int is pure, i.e., f produces no computational effects except those produced by evaluation of its functional argument? In this paper, we introduce a semantic notion of monadic parametricity for second-order functionals which is a form of purity. We show that every monadically parametric f admits a question-answer strate...
متن کاملOn the stability of linear differential equations of second order
The aim of this paper is to investigate the Hyers-Ulam stability of the linear differential equation$$y''(x)+alpha y'(x)+beta y(x)=f(x)$$in general case, where $yin C^2[a,b],$ $fin C[a,b]$ and $-infty
متن کاملAn Inverse Eigenvalue Problem for Damped Gyroscopic Second-Order Systems
The inverse eigenvalue problem of constructing symmetric positive semidefinite matrixD written as D ≥ 0 and real-valued skew-symmetric matrix G i.e., G −G of order n for the quadratic pencilQ λ : λMa λ D G Ka, whereMa > 0,Ka ≥ 0 are given analytical mass and stiffness matrices, so that Q λ has a prescribed subset of eigenvalues and eigenvectors, is considered. Necessary and sufficient condition...
متن کاملOn adaptive inverse estimation of linear functionals in Hilbert scales
We address the problem of estimating the value of a linear functional h f , xi from random noisy observations of y 1⁄4 Ax in Hilbert scales. Both the white noise and density observation models are considered. We propose an estimation procedure that adapts to unknown smoothness of x, of f , and of the noise covariance operator. It is shown that accuracy of this adaptive estimator is worse only b...
متن کاملA Representation Theorem for Second-Order Functionals
Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a datatypegeneric representation theorem. More precisely, we prove a representation theorem for a wide class of second-order functionals which are polymorphic over a class of functors. Types polymorphic over a class o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Approximation Theory
سال: 2010
ISSN: 0021-9045
DOI: 10.1016/j.jat.2009.07.007