Search
Search results for: TWIERDZENIE AVERY-PETERSONA
-
Positive solutions for three-point one-dimensional p-Laplacian boundary value problems with advanced arguments [online]
PublicationPraca dotyczy problemów istnienia dodatnich rozwiązań dla trzy-punktowych zagadnień brzegowych z wyprzedzonymi argumentami. Zastosowano twierdzenie Avery-Petersona o punkcie stałym aby uzyskać warunki dostateczne na istnienie conajmniej trzech dodatnich rozwiązań.
-
Positive solutions for fourth-order differential equations with deviating arguments and integral boundary conditions
PublicationBadane są problemy brzegowe dla równań różniczkowych rzędu czwartego z odchylonymi argumentami i z warunkami brzegowymi typu całkowego. Sformułowano twierdzenie dotyczące istnienia dodatnich rozwiązań takich problemów. W dowodzie korzystano z tw. Avery-Petersona o punktach stałych dla stożków. Podano przykład ilustrujący otrzymane wyniki.
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Nonnegative solutions to nonlocal boundary value problems for systems of second-order differential equations dependent on the first-order derivatives
PublicationStosując tw. Avery-Petersona o punkcie stałym, podano warunki dostateczne na istnienie nieujemnych rozwiązań dla układów równań różniczkowych rzędu drugiego z argumentami opóźnionymi i wyprzedzonymi oraz warunkami brzegowymi zawierającymi całki Stieltjesa. Praca zawiera wiele przykładów.
-
Multiple solutions for a class of boundary-value problems with deviating arguments and integral boundary conditions
PublicationPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu drugiego z całkowymi warunkami brzegowymi i z odchylonymi argumentami typu wyprzedzonego. Korzystając z tw. Avery-Petersona dla stożków, podano warunki dostateczne na istnienie trzech dodatnich rozwiazań w/w problemów. Podano przykład pokazujący iż przyjęte załozenia są spełnione.
-
Twierdzenie - rysunek
Publication -
Grafo-mania, czyli rzecz o grafach i algorytmach. Twierdzenie o czterech barwach
PublicationPrzedstawiono istotę i historię twierdzenia o 4 barwach.
-
No-local-broadcasting theorem for multipartite quantum correlations
PublicationWe prove that the correlations present in a multipartite quantum state have an operational quantum character even if the state is unentangled, as long as it does not simply encode a multipartite classical probability distribution. Said quantumness is revealed by the new task of local broadcasting, i.e., of locally sharing preestablished correlations, which is feasible if and only if correlations are stricly classical. Our operational...
-
Validation of high-resolution 3D patient QA for proton PBS and IMPT using laser CT of improved polymer gel dosimeters
Publication -
3D dose verification with polymer gel detectors of brain-spine match line for proton pencil beam cranio-spinal: A preliminary study
Publication -
Wojciech Jędruch dr hab. inż.
People -
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano schematy różnicowe zagadnień początkowych dla nieliniowych parabolicznych równań różniczkowo funkcyjnych. Przedstawiono twierdzenie o oszacowaniu błędu rozwiązań przybliżonych dla równań różnicowo funkcyjnych typu Volterry z niewiadomą funkcją kilku zmiennych. Udowodniono twierdzenie o zbieżności jawnych schematów różnicowych. Podano przykłady numeryczne.
-
Caratheodory solutions to quasi-linear hyperbolic systems of partial differential equations with state dependent delays
PublicationW pracy udowodniono twierdzenie o istnieniu i jednoznaczności rozwiązań oraz o ich ciągłej zależności od warunków początkowych dla układów równań różniczkowych cząstkowych z opóźnionym argumentem, zależnym od funkcji niewiadomej. Posłużono się metodą bicharakterystyk a istnienia dowiedziono stosując twierdzenie Banacha o punkcie stałym.
-
Positive solutions to advanced fractional differential equations with nonlocal boundary conditions
PublicationWe study the existence of positive solutions for a class of higher order fractional differential equations with advanced arguments and boundary value problems involving Stieltjes integral conditions. The fixed point theorem due to Avery-Peterson is used to obtain sufficient conditions for the existence of multiple positive solutions. Certain of our results improve on recent work in the literature.
-
Box-splines orthogonal projections.
PublicationUogólniono twierdzenie Sweldensa i Piessensa na pudełkowe funkcje gięte. Podano formułę asymptotyczną dla funkcji o ograniczonej wariacji.
-
Ergodic type theorems for Gaussian systemstwierdzenia typu ergodycznego dla układów gaussowskich
PublicationUdowodniono twierdzenie typu ergodycznego dla zmiennych losowych będących złożeniem zmiennych losowych gaussowskich z funkcjami z odpowiedniej klasy.
-
Positive solutions to Sturm–Liouville problems with non-local boundary conditions
PublicationIn this paper, the existence of at least three non-negative solutions to non-local boundary-value problems for second-order differential equations with deviating arguments α and ζ is investigated. Sufficient conditions, which guarantee the existence of positive solutions, are obtained using the Avery–Peterson theorem. We discuss our problem for both advanced and delayed arguments. An example is added to illustrate the results.
-
Periodicity of a sequence of local fixed point indices of iterations
PublicationPraca uogólnia klasyczne twierdzenie Shuba i Sullivana o periodyczności ciągu indeksów punktu stałego iteracji odwzorowań gładkich na szerszą klasę przekształeń.
-
A new approach to numerical solution of fixed-point problems and its application to delay differential equations
PublicationW pracy rozpatruje się pewne aproksymacje punktu stałego ciągłego operatora A odwzorowującego przestrzeń metryczną w siebie. Wspomniany punkt stały przybliża się tzw. epsilon przybliżonym punktem stałym z przestrzeni skończenie wymiarowej. Udowodnione zostało twierdzenie dające warunki konieczne i dostateczne istnienia punktu stałego w ogólnej przestrzeni metrycznej. Warunki te wyrażone są w terminach epsilon przybliżonego punktu...
-
Positive solutions for second order impulsive differential equations involving Stieltjes integral conditions
PublicationIn this paper we investigate integral boundary value problems for fourth order differentialequations with deviating arguments.Wediscuss our problem both for advanced or delayedarguments. We establish sufficient conditions under which such problems have positivesolutions. To obtain the existence of multiple (at least three) positive solutions, we use afixed point theorem due to Avery and Peterson. An example is also included to...
-
States of light via reducible quantization.
PublicationRelatywistyczne sformułowanie kwantowania pola opartego o redukowalne reprezentacje kanonicznych związków komutacyjnych. Konstrukcja stanów fokowskich i koherentnych. Analiza automatycznej regularyzacji rozbieżności w podczerwieni. Twierdzenie o granicy termodynamicznej.
-
Positive solutions of one-dimensional p-Laplacian boundary value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu czwartego z warunkami brzegowymi z odchylonymi argumentami. Stosując twierdzenie o punkcie stałym dla stożków podano warunki dostateczne na istnienia takich rozwiązań.
-
Conley type index applied to Hamiltonian inclusions
PublicationPodano dowód istnienia nietrywialnych rozwiązań okresowych dla inkluzji Hamiltonowskich, z potencjałem lokalnie Lipschitzowskim, okresowym, uogólniając klasyczne twierdzenie Ammana- Zehndera. Użyto techniki z teorii indeksu Conley'a dla wielowartościowych potoków w przestrzeni Hilberta.
-
Istnienie i regularność heteroklinicznych rozwiązań równania Allena-Cahna z anizotropowym operatorem eliptycznym
PublicationCelem rozprawy jest udowodnienie dwóch twierdzeń dotyczących równań różniczkowych cząstkowych typu eliptycznego. Pierwsze mówi o regularności słabych rozwiązań pewnej klasy równań z operatorem eliptycznym, który pochodzi od wypukłej i anizotropowej G-funkcji spełniającej odpowiednie warunki wzrostu. To twierdzenie jest pewnym uogólnieniem znanych wyników z izotropowymi warunkami wzrostu na przypadek operatorów anizotropowych. Drugie...
-
On quasi-compact Markov nets
PublicationAnalizuje się strukturę ergodyczną netów Markowa. W szczególności podano charakteryzację ściśle ergodycznych minimalnych (L-R) netów markowskich na zwartej przestrzeni fazowej. Uzyskano warunki równoważne quasi-zwartości (L-R) netów Markowa, rozszerzając tzw. ergodyczne twierdzenie Lotz'a.
-
Generalized solution of mixed problems for first order partial differential equations with state dependent delays
PublicationW pracy zostało udowodnione twierdzenie o istnieniu i jednoznaczności rozwiązań dla zagadnień początkowo-brzegowych z cząstkowym równaniem różniczkowo-funkcyjnym z opóźnionym argumentem zależnym od funkcji niewiadomej. Użyto metody bicharakterystyk. Jednoznaczność rozwiązań wykazano metodą porównawczą, istnienie - metodą ciągów przybliżeń.
-
Positive solutions to fractional differential equations involving Stieltjes integral conditions
PublicationIn this paper, we investigate nonlocal boundary value problems for fractional differential equations with dependence on the first-order derivatives and deviating arguments. Sufficient conditions which guarantee the existence of at least three positive solutions are new and obtained by using the Avery–Peterson theorem. We discuss problems (1) and (2) when argument b can change the character on [0, 1], so in some subinterval I of...
-
Distance measurement errors in silent FM-CW sonar with matched filtering
PublicationThe secretiveness of sonar operation can be achieved by using continuous frequency-modulated sounding signalswith reduced power and significantly prolonged repeat time. The application of matched filtration in the sonarreceiver provides optimal conditions for detection against the background of white noise and reverberation, and avery good resolution of distance measurements of motionless targets. The article shows that target...
-
Generalized solutions of first order partial differential functional inequalities
PublicationW pracy rozważa się zagadnienia początkowo brzegowe dla nieliniowych równań różniczkowo funkcyjnych cząstkowych pierwszego rzędu. Podano dowód jednoznaczności rozwiązań uogólnionych. Oparty jest on na twierdzeniu porównawczym dla nierówności różniczkowo funkcyjnych w sensie Caratheodory'ego. Prezentowane jest twierdzenie o uogólnionych rozwiązaniach nierówności różniczkowo funkcyjnych.
-
Existence of positive solutions to second order four-point impulsive differential problems with deviating arguments [online]
PublicationW pracy dyskutowane są problemy brzegowe dla równań różniczkowych rzędu drugiego z impulsami i z odchylonymi argumentami. Badano przypadki dla argumentów opóźnionych i wyprzedzonych. Podano warunki które gwarantują, że omawiane problemy mają rozwiązania dodatnie. Zastosowano odpowiednie twierdzenie o punkcie stałym.
-
Bifurkacje z łamaniem symetrii w zagadnieniu różniczkowo-funkcyjnym opisującym nieliniowe deformacje biologicznego klastra: metody wariacyjne
PublicationW pracy doktorskiej badane są matematyczne własności obiektu o elastycznym, wolnym brzegu, który został nazwany biologicznym klastrem. Brzeg klastra umocniony jest przy pomocy elastycznych połączeń z jądrem i jest wypełniony sprężonym gazem. Praca składa się z trzech rozdziałów. Pierwszy z nich ma charakter wprowadzający. Przypomniane są w nim pojęcia i fakty z zakresu analizy funkcjonalnej. Wprowadzone są definicje, twierdzenia...
-
Degree of T-equivariant maps in R^n
PublicationW pracy przedstawiona jest konstrukcja niezmienniczego stopnia topologicznego dla odwzorowań z symetriami działających na przestrzeni euklidesowej z inwolucją. Udowodnione jest twierdzenie, że dwa dopuszczalne i gradientowe odwzorowania niezmiennicze są niezmienniczo homotopijne wtedy i tylko wtedy, gdy są one homotopijne niezmienniczo i gradientowo.
-
Some remarks on the Euler ring U(G)
PublicationNiech G będzie zwartą grupą Liego i niech U(G) oznacza pierściń Eulera G skonstruoawany przez tom Diecka w [5,6]. Główny wynikpracy (Twierdzenie 4.1) opisuje homomorfizm pierścienia U(SO(3)) w pierścień U(SO(2))indukowany przez włożenie grupy SO(2) w grupę SO(3).
-
Implicit difference functional inequalities and applications
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Przy założeniu, że funkcje dane spełniają nieliniowe oszacowanie typu Perrona względem argumentu funkcyjnego, udowodniono stabilność metody uwikłanej, wykorzystując twierdzenie porównawcze dla funkcji spełniających uwikłane nierówności różnicowe typu Volterry.
-
Positive solutions to second-order differential equations with dependence on the first-order derivative and nonlocal boundary conditions
PublicationIn this paper, we consider the existence of positive solutions for second-order differential equations with deviating arguments and nonlocal boundary conditions. By the fixed point theorem due to Avery and Peterson, we provide sufficient conditions under which such boundary value problems have at least three positive solutions. We discuss our problem both for delayed and advanced arguments α and also in the case when α(t)=t, t∈[0,1]....
-
Dynamic inequalities and equations of Volterra type on time scales
PublicationPraca dotyczy całkowo-różniczkowych równań dynamicznych typu Volterry z warunkami początkowymi. Stosując twierdzenie Banacha o punkcie stałym pokazano istnienie jedynego rozwiązania liniowego równania dynamicznego. Stosując metodę iteracji monotonicznych pokazano istnienie rozwiązań ekstremalnych dla problemów nieliniowych. Badano też nierówności dynamiczne. Praca zawiera również uwagi dotyczące zagadnień różniczkowych i różnicowych.
-
High-speed residue-to-binary converter based on the Chinese RemainderTheorem.
PublicationPrzedstawiono szybki konwerter z systemu resztowego do systemu binarnego dla modułów 5-bitowych oparty o chińskie twierdzenie o resztach. Projekcje ortogonalne są generowane przy użyciu odwzorowania realizowanego przy zastosowaniu funkcji logicznych pięciu zmiennych. Wartość wyjściowa jest obliczana przy użyciu drzewaWallace'a z segmentacją wektorów wyjściowych i redukcją do 2M, M zakres liczbowy systemu oraz efektywny finalny...
-
Generalized solutions of mixed problems for first-order partial functional differential equations
PublicationW pracy udowodniono twierdzenie o istnieniu rozwiązań i ich ciągłej zależności od warunków początkowo brzegowych. Do przekształcenia zagadnienia oryginalnego w układ równań całkowo funkcyjnych typu Volterry użyto metody bicharakterystyk. Istnienie rozwiązań udowodnione jest metodą kolejnych przybliżeń, przy użyciu twierdzeń o nierównościach całkowych. Rozwiązania klasyczne układów równań całkowo funkcyjnych prowadzą do rozwiązań...
-
Jak gładkość generuje punkty periodyczne
PublicationJednym z ważnych problemów teorii układów dynamicznych i topologii jest pytanie, jaka jest najmniejsza liczba punktów stałych lub periodycznych w danej klasie odwzorowań. Na przykład klasyczne twierdzenie Brouwera stwierdza, że każde ciągłe odwzorowanie kuli domkniętej w siebie ma przynajmniej jeden punkt stały. Szczególnie interesujące staje się powyższe pytanie w odniesieniu do klasy homotopii danego odwzorowania f. Artykuł poświęcony...
-
Some methods of diagnosis of analog circuit using mixed signal test bus IEEE 1149.4
PublicationW artykule przedstawiono wybrane metody testowania i diagnostyki analogowych układów elektronicznych zamontowanych na pakiecie pomiędzy układami scalonymi wyposażonymi w magistralę IEEE 1149.4. Prezentowane metody dobrano pod kątem stopnia skomplikowania układów testowanych oraz specyficznych właściwości metrologicznych magistrali, które ograniczają możliwości pomiarowe i aplikacyjność metod. Rozważono trzy typy układów testowanych:...
-
Two almost homoclinic solutions for second-order perturbed Hamiltonian systems
PublicationW niniejszym artykule badamy problem istnienia rozwiązań prawie homoklinicznych (rozwiązań znikających w nieskończonościach) dla układów Hamiltonowskich drugiego rzędu (układów Newtonowskich) z zaburzeniem. Nasz wynik jest uogólnieniem twierdzenia Rabinowitza-Tanaki o istnieniu rozwiązania homoklinicznego dla układów bez zaburzenia [Math. Z. 206 (1991) 473-499]. O zaburzeniu zakładamy, że jest dostatecznie małe w przestrzeni funkcji...
-
Conditions for measurement, analog-to-digital conversion and frequency analysis of irregularities of profile surface
PublicationPrzedstawiono uwarunkowania pomiaru, przetwarzania analogowo-cyfrowego i analizy częstotliwościowej nierówności powierzchni toczonych dla celów rozpoznawania ich głównych składowych. Przedstawiono ograniczenia w pomiarze igłą, która odwzorowuje nierówności poprzeczne. Podano zależności parametrów pomiaru cyfrowego nierówności warunkujące zakresy ich rozpatrywania. Dla wartości przedziału próbkowania, dla którego nie jest spełnione...
-
Numerical conditioning of delta-domain Lyapunov and Riccati equations
PublicationW pracy rozważono problem uwarunkowania dyskretno czasowych równań Lapunowa oraz równań Riccatiego - to znaczy problem wrażliwości rozwiązań takich równań na odchyłki ich parametrów od nominalnych wartości. Zdefiniowano odpowiedni "różniczkowy" wskaźnik uwarunkowania oraz podano efektywną metodę szacowania jego wartości. Udowodniono teoretycznie - a także przekonująco zilustrowano na drodze numerycznej - twierdzenie głoszące, iż...
-
Analytics of Surfactants in the Environment: Problems and Challenges
PublicationSurfactants (surface active agents = SAAs) are a group of compoundswith specific physicochemical properties (amphiphilicity,solubility in polar and nonpolar liquids, ability to form micelles,adsorption at phase boundaries).1,2 Because of their properties,surface-active compounds are widely applied in industry and thehousehold (e.g., in detergents, personal-care products, paints,pesticides, petroleum products). As their applications...
-
Problem niezależności rankingu dobrobytu od rozkładu odniesienia
PublicationW pracy analizowano problem niezależności porównań dobrobytu heterogenicznych gospodarstw domowych od typu gospodarstwa odniesienia. W takich porównaniach korzysta się ze skal ekwiwalentności, w których jednoosobowe, bezdzietne gospodarstwo domowe jest zwykle przyjmowane jako gospodarstwo odniesienia. W pracy udowodniono twierdzenie, które ustala wpływ wyboru gospodarstwa odniesienia na ranking rozkładów dochodów ekwiwalentnych,...
-
Kierunki rozwoju inteligentnych systemów produkcyjnych
PublicationNiniejszy rozdział jest konsekwentnym rozwinieciem wybranych wniosków pracy [8]. W szczególności nadal aktualne pozostaje twierdzenie, że projektowanie Elastycznych Systemów Sterowania Produkcją nalezy do kręgu podstawowych kierunków prac badawczych o istotnym znaczeniu w nauce o inzynierii i zarządzania produkcją. Zatem po charakteryzowaniu trendów interpretacji elastyczności systemów produkcyjnych przystąpiono do analizy jej...
-
Effective residue-to-binary converter with the Chinese Remainder Theorem
PublicationKonwersja liczb z systemu resztowego do systemu binarnego jest podstawową operacją we wszystkich układach cyfrowego przetwarzania sygnałów, które wykorzystują system resztowy. W niniejszej pracy zaproponowano nową metodę konwersji opartą o chińskie twierdzenie o resztach dla modułów 5- i 6-bitowych. Specyficzną cechą nowej metody jest sposób obliczania tzw. współczynnika nadmiaru w formule chińskiego twierdzenia o resztach, co...
-
Selektywne chłodzenie mózgu noworodka po Niedotlenieniu okołoporodowym. Część 1. Medyczne fakty oraz przegląd dostępnych rozwiązań systemów selektywnego chłodzenia mózgu
PublicationMózg ludzki jest organem delikatnym, dlatego tak ważne jest zadbanie o to, aby już w momencie przyjścia na świat noworodek miał zapewnioną, w razie konieczności możliwość minimalizacji uszkodzeń neurologicznych, spowodowanych niedotlenieniem okołoporodowym. Niedotlenienie to w dramatyczny sposób zaburza homeostazę mózgu, który jako organ najbardziej energochłonny potrzebuje najwięcej tlenu. Zapoczątkowane brakiem tlenu procesy...
-
Technika cyfrowego przetwarzania sygnałów
PublicationPodręcznik jest przeznaczony dla studentów kierunków Elektronika i telekomunikacja, Inżynieria biomedyczna oraz Automatyka i robotyka. Obejmuje on zagadnienia z zakresu cyfrowego przetwarzania sygnałów, przerabiane na takich przedmiotach jak Przetwarzanie sygnałów, Filtry cyfrowe, Zastosowania procesorów sygnałowych. Ma stanowić pomoc przy prowadzeniu zajęć z ćwiczeń tablicowych, zajęć laboratoryjnych czy projektu z zastosowań...
-
Multiple bifurcation in the solution set of the von Karman equations with S^{1}-symmetries
PublicationRozważmy cienką, sprężystą, kołową płytę, położoną na sprężystym podłożu, poddawaną działaniu sił ściskających koncentrycznie wzdłuż jej brzegu. Formy równowagi takiej płyty są rozwiązaniami równań von Karmana z dwoma parametrami określonych na dysku w R^{2}. Są to równania różniczkowe cząstkowe rzędu czwartego. Można je zapisać jako równanie operatorowe F(x,p)=0 w przestrzeniach Höldera, gdzie zmienna x odpowiada formom równowagi...