Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "functional calculus" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    The monogenic functional calculus
    Autorzy:
    Jefferies, Brian
    McIntosh, Alan
    Picton-Warlow, James
    Powiązania:
    https://bibliotekanauki.pl/articles/1216280.pdf
    Data publikacji:
    1999
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    functional calculus
    Clifford algebra
    monogenic function
    Opis:
    A study is made of a symmetric functional calculus for a system of bounded linear operators acting on a Banach space. Finite real linear combinations of the operators have real spectra, but the operators do not necessarily commute with each other. Analytic functions of the operators are formed by using functions taking their values in a Clifford algebra.
    Źródło:
    Studia Mathematica; 1999, 136, 2; 99-119
    0039-3223
    Pojawia się w:
    Studia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Frechet differential of a power series in Banach algebras
    Autorzy:
    Silvestri, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/254781.pdf
    Data publikacji:
    2010
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    Frechet differentiation in Banach algebras
    functional calculus
    Opis:
    We present two new forms in which the Fréchet differential of a power series in a unitary Banach algebra can be expressed in terms of absolutely convergent series involving the commutant C(T) : A → [A, T]. Then we apply the results to study series of vector-valued functions on domains in Banach spaces and to the analytic functional calculus in a complex Banach space.
    Źródło:
    Opuscula Mathematica; 2010, 30, 2; 155-177
    1232-9274
    2300-6919
    Pojawia się w:
    Opuscula Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A constructive proof of the composition rule for Taylors functional calculus
    Autorzy:
    Andersson, Mats
    Sandberg, Sebastian
    Powiązania:
    https://bibliotekanauki.pl/articles/1206005.pdf
    Data publikacji:
    2000
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    Taylor spectrum
    functional calculus
    Cauchy-Fantappiè-Leray formula
    Opis:
    We give a new constructive proof of the composition rule for Taylor's functional calculus for commuting operators on a Banach space.
    Źródło:
    Studia Mathematica; 2000, 142, 1; 65-69
    0039-3223
    Pojawia się w:
    Studia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Holomorphic functional calculus in A-pseudoconvex algebras
    Autorzy:
    Łuczak, Maciej
    Powiązania:
    https://bibliotekanauki.pl/articles/962667.pdf
    Data publikacji:
    2005
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    Holomorphic functional calculus
    spectral mapping theorem
    A-pseudoconvex algebra
    real algebra
    Opis:
    We define and study a holomorphic functional calculus for a single element in complex and real complete A-pseudoconvex algebras with unit. As a consequence of the main result we obtain the spectral mapping theorem and existence of the logarithm and the nth root of an algebra element.
    Źródło:
    Commentationes Mathematicae; 2005, 45, 2; 161-169
    0373-8299
    Pojawia się w:
    Commentationes Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Functional Completeness in CPL via Correspondence Analysis
    Autorzy:
    Leszczyńska-Jasion, Dorota
    Petrukhin, Yaroslav
    Shangin, Vasilyi
    Jukiewicz, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/749866.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    correspondence analysis
    invertible rules
    classical propositional logic
    functional completeness
    sequent calculus
    automated deduction
    automated rules generation
    Opis:
    Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut. The calculi pertain to classical propositional logic and any of its fragments that may be obtained from adding a set (sets) of rules characterizing a two-argument Boolean function(s) to the negation fragment of classical propositional logic. The properties of soundness and completeness of the calculi are demonstrated. The proof of completeness is conducted by Kalmár's method. Most of the presented sequent-calculus rules have been obtained automatically, by a rule-generating algorithm implemented in Python. Correctness of the algorithm is demonstrated. This automated approach allowed us to analyse thousands of possible rules' schemes, hundreds of rules corresponding to Boolean functions, and to nd dozens of those invertible. Interestingly, the analysis revealed that the presented proof-theoretic framework provides a syntactic characteristics of such an important semantic property as functional completeness.
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On a mixed-type integral equation and fractional-order functional differential equations
    Autorzy:
    El-Sayed, A. M. A.
    Sherif, Nagwa
    Ibrahim, I. A.
    Powiązania:
    https://bibliotekanauki.pl/articles/745693.pdf
    Data publikacji:
    2005
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    Nonlinear functional integral equation
    fractional calculus
    Volterra operator
    mixed type integral equation
    Schauder fixed point theorem
    Opis:
    In this paper we study the existence of solution of a nonlinear integral equation of (mixed type) Volterra-Fredholm type. As an application we prove the existence of solution of an initial value problem of fractional order in the space of Lebesgue integrable functions on the interval \([0, 1]\).
    Źródło:
    Commentationes Mathematicae; 2005, 45, 2
    0373-8299
    Pojawia się w:
    Commentationes Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies