Neste trabalho de dissertação de mestrado, fazemos algumas observações a respeito de dois¶ artigos de pesquisa recentes, os quais estabelecem resultados falsos sobre existência de soluções controlabilidade exata de sistemas de controle abstratos do tipo neutro modelados na forma¶8<:¶ d ¶ dt ¶(x(t) + G(t, xt)) = Ax(t) + F(t, xt) + Cu(t), t 2 I = (0, a],¶ x0 = ',¶ (4)¶ onde A é o gerador infinitesimal de um C0-semigrupo de operadores lineares definidos sobre um espaço de Banach X; a função xt representa a história do estado no tempo t; C : U ! X ´e um¶ perador linear limitado, U é um espaço de Banach e F,G são funções apropriadas.¶ Motivados pelo anterior, neste trabalho estudamos a existência de soluções fracas para o sistema ¶ abstrato 8<:¶ d¶ dt¶ [(I &#8722; B)x(t)] = Ax(t) + F(t, x(t)), t 2 I = (0, a],¶ x(0) = x0 2 X,¶ (5)¶ onde B : X ! X é um operador linear limitado. Além do anterior, introduzimos e estudamos a “¶ controlabilidade [D(A)]-aproximada " para o sistema de controle¶ 8<:¶ d¶ dt¶ [(I &#8722; B)x(t)] = Ax(t) + Cu(t) + f(t, x(t)), t 2 I = (0, a],¶ x(0) = x0 2 X.¶ (6)¶. Observamos que nossos comentários relacionados com a controlabilidade exata de sistemas¶ neutros, foram publicados recentemente em journal Computers & Mathematics with Applications,¶ veja [12] para detalhes. Também mencionamos que no pre-print [16] são resumidos nossos resultados¶ relacionados a existência de soluções fracas de (5) e a controlabilidade do sistema de controle (6). / In this work, we report two technical errors in some recent papers treating on existence and¶ xact controllability of solutions for a class of partial neutral functional differential control systems¶ described in the abstract form¶ 8<:¶ d¶ dt¶ (x(t) + G(t, xt)) = Ax(t) + F(t, xt) + Cu(t), t 2 I = (0, a],¶ x0 = '.¶ (1)¶ In this system A is the infinitesimal generator of an C0-semigroup of bounded linear operators¶ defined on a Banach space X; the functions xt are the histories, C : U ! X is a bounded operator,¶ U is a Banach space and and F,G are appropriate functions.¶ Additionally, by using some simple perturbation criterion, we discuss the existence of mild¶ solution for the system¶ 8<:¶ d¶ dt¶ [x(t) + Bx(t)] = Ax(t) + f(t, x(t)), t 2 I = [0, a],¶ x(0) = x0 2 X,¶ (2)¶ where B is a bounded linear operator. We also introduce the concept of approximate [D(A)]-¶ controlability and establish conditions under which the associated control system¶ 8<:¶ d¶ dt¶ [x(t) + Bx(t)] = Ax(t) + Cu(t) + f(t, x(t)), t 2 I = [0, a],¶ x(0) = x0 2 X,¶ (3)¶ is approximate [D(A)]- controllable.¶ We mention that our observation on exact controllability of abstract neutral system was recently¶ published in journal Computers & Mathematics with Applications, see [12] for details. We also note,¶ that the pre-print [16] contain some new results concerning existence of solutions and controllability¶ for the systems (2) and (3) respectively.

Neste trabalho de dissertação de mestrado, fazemos algumas observações a respeito de dois¶ artigos de pesquisa recentes, os quais estabelecem resultados falsos sobre existência de soluções controlabilidade exata de sistemas de controle abstratos do tipo neutro modelados na forma¶8<:¶ d ¶ dt ¶(x(t) + G(t, xt)) = Ax(t) + F(t, xt) + Cu(t), t 2 I = (0, a],¶ x0 = ',¶ (4)¶ onde A é o gerador infinitesimal de um C0-semigrupo de operadores lineares definidos sobre um espaço de Banach X; a função xt representa a história do estado no tempo t; C : U ! X ´e um¶ perador linear limitado, U é um espaço de Banach e F,G são funções apropriadas.¶ Motivados pelo anterior, neste trabalho estudamos a existência de soluções fracas para o sistema ¶ abstrato 8<:¶ d¶ dt¶ [(I &#8722; B)x(t)] = Ax(t) + F(t, x(t)), t 2 I = (0, a],¶ x(0) = x0 2 X,¶ (5)¶ onde B : X ! X é um operador linear limitado. Além do anterior, introduzimos e estudamos a “¶ controlabilidade [D(A)]-aproximada ” para o sistema de controle¶ 8<:¶ d¶ dt¶ [(I &#8722; B)x(t)] = Ax(t) + Cu(t) + f(t, x(t)), t 2 I = (0, a],¶ x(0) = x0 2 X.¶ (6)¶. Observamos que nossos comentários relacionados com a controlabilidade exata de sistemas¶ neutros, foram publicados recentemente em journal Computers & Mathematics with Applications,¶ veja [12] para detalhes. Também mencionamos que no pre-print [16] são resumidos nossos resultados¶ relacionados a existência de soluções fracas de (5) e a controlabilidade do sistema de controle (6). / In this work, we report two technical errors in some recent papers treating on existence and¶ xact controllability of solutions for a class of partial neutral functional differential control systems¶ described in the abstract form¶ 8<:¶ d¶ dt¶ (x(t) + G(t, xt)) = Ax(t) + F(t, xt) + Cu(t), t 2 I = (0, a],¶ x0 = '.¶ (1)¶ In this system A is the infinitesimal generator of an C0-semigroup of bounded linear operators¶ defined on a Banach space X; the functions xt are the histories, C : U ! X is a bounded operator,¶ U is a Banach space and and F,G are appropriate functions.¶ Additionally, by using some simple perturbation criterion, we discuss the existence of mild¶ solution for the system¶ 8<:¶ d¶ dt¶ [x(t) + Bx(t)] = Ax(t) + f(t, x(t)), t 2 I = [0, a],¶ x(0) = x0 2 X,¶ (2)¶ where B is a bounded linear operator. We also introduce the concept of approximate [D(A)]-¶ controlability and establish conditions under which the associated control system¶ 8<:¶ d¶ dt¶ [x(t) + Bx(t)] = Ax(t) + Cu(t) + f(t, x(t)), t 2 I = [0, a],¶ x(0) = x0 2 X,¶ (3)¶ is approximate [D(A)]- controllable.¶ We mention that our observation on exact controllability of abstract neutral system was recently¶ published in journal Computers & Mathematics with Applications, see [12] for details. We also note,¶ that the pre-print [16] contain some new results concerning existence of solutions and controllability¶ for the systems (2) and (3) respectively.

O trabalho apresenta inicialmente os conceitos clássicos de rolamento (sem escorregamento e sem pivotamento) de uma superfície sobre outra usando os triedros de Darboux das duas superfícies ao longo das respectivas curvas de contato. Mostra, ainda, a equivalência desses conceitos com outras definições. A seguir, estuda-se a controlabilidade no problema do rolamento de uma esfera sobre uma superfície S de revolução, tanto no caso de rolar sem escorregar como no caso de não escorregar e não pivotar; a controlabilidade visa determinar a atingibilidade entre dois 'estados' da esfera (posição em S e orientação), isto é, de elementos do espaço das configurações S×SO(3). Na seqüência, estabelecem-se condições nos controles para que os rolamentos sem escorregamento e sem pivotamento ocorram sobre geodésicas de S e obtém-se, também, a controlabilidade nesta situação. Finalmente, verifica-se que, quando S é um plano, 3 ou 4 rolamentos retilíneos, sem escorregamento e sem pivotamento, são suficientes para garantir a atingibilidade entre dois “estados" da esfera. / This work starts by presenting the classical concepts of rolling (without slipping and without slipping or twisting) of a surface over another one, using the Darboux referential frames of the two surfaces along their contact curves. It shows the equivalence between these concepts with other definitions. In the sequel one studies the controllability in the rolling problem of a ball over a surface of revolution S, including both: the non slipping and the non slipping or twisting cases; controllability aims to determine the reachability between two 'states'of the ball (position on S and orientation), that is, two elements of the configuration space S × SO(3). It follows by establishing conditions on controls in order that the rollings occur along geodesics of S and by studying the controllability in this situation. Finally, it is shown that if S is the plane, 3 or 4 retilinear moves without slipping or twisting are enough to guarantee reachability between two states of the ball.

O trabalho apresenta inicialmente os conceitos clássicos de rolamento (sem escorregamento e sem pivotamento) de uma superfície sobre outra usando os triedros de Darboux das duas superfícies ao longo das respectivas curvas de contato. Mostra, ainda, a equivalência desses conceitos com outras definições. A seguir, estuda-se a controlabilidade no problema do rolamento de uma esfera sobre uma superfície S de revolução, tanto no caso de rolar sem escorregar como no caso de não escorregar e não pivotar; a controlabilidade visa determinar a atingibilidade entre dois 'estados' da esfera (posição em S e orientação), isto é, de elementos do espaço das configurações S×SO(3). Na seqüência, estabelecem-se condições nos controles para que os rolamentos sem escorregamento e sem pivotamento ocorram sobre geodésicas de S e obtém-se, também, a controlabilidade nesta situação. Finalmente, verifica-se que, quando S é um plano, 3 ou 4 rolamentos retilíneos, sem escorregamento e sem pivotamento, são suficientes para garantir a atingibilidade entre dois “estados” da esfera. / This work starts by presenting the classical concepts of rolling (without slipping and without slipping or twisting) of a surface over another one, using the Darboux referential frames of the two surfaces along their contact curves. It shows the equivalence between these concepts with other definitions. In the sequel one studies the controllability in the rolling problem of a ball over a surface of revolution S, including both: the non slipping and the non slipping or twisting cases; controllability aims to determine the reachability between two 'states'of the ball (position on S and orientation), that is, two elements of the configuration space S × SO(3). It follows by establishing conditions on controls in order that the rollings occur along geodesics of S and by studying the controllability in this situation. Finally, it is shown that if S is the plane, 3 or 4 retilinear moves without slipping or twisting are enough to guarantee reachability between two states of the ball.

Orientador: Luiz A. B. San Martin / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-20T18:53:36Z (GMT). No. of bitstreams: 1 MamaniTroncoso_RichardM_M.pdf: 4543639 bytes, checksum: 503be6a52947984969328867bdf1508b (MD5) Previous issue date: 1995 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

VIEIRA, F. B. Controlabilidade de algumas EDPs não lineares, e, densidade e espectro de subvariedades mínimas em espaço forma. 2017. 89 f. Tese (Doutorado em Matemática) – Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Andrea Dantas (pgmat@mat.ufc.br) on 2017-04-19T13:15:27Z No. of bitstreams: 1 2016_tese_fbvieira.pdf: 681898 bytes, checksum: d123b89ff8ddaa52a643807b847421b5 (MD5) / Rejected by Rocilda Sales (rocilda@ufc.br), reason: Para o aluno. Alterar a data e incluir a conclusão, tanto no sumário como no final do texto. Conclusão é capítulo portanto numerado. Rocilda on 2017-04-19T14:54:37Z (GMT) / Submitted by Andrea Dantas (pgmat@mat.ufc.br) on 2017-04-19T16:23:39Z No. of bitstreams: 1 2016_tese_fbvieira.pdf: 683722 bytes, checksum: 8e8575ca8d8e8496b31047d5bc8c68c0 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2017-04-24T11:15:25Z (GMT) No. of bitstreams: 1 2016_tese_fbvieira.pdf: 683722 bytes, checksum: 8e8575ca8d8e8496b31047d5bc8c68c0 (MD5) / Made available in DSpace on 2017-04-24T11:15:25Z (GMT). No. of bitstreams: 1 2016_tese_fbvieira.pdf: 683722 bytes, checksum: 8e8575ca8d8e8496b31047d5bc8c68c0 (MD5) Previous issue date: 2017-05-24 / In the first part of this thesis we deal with the 3D Navier-Stokes and Boussinesq systems in a cube. We prove some results concerning the global approximate controllability by means of boundary controls which act in some part of the boundary. They are generalizations and variants of some previous results by Guerrero, Imanuvilov and Puel. Still in the first part of this Thesis, we prove the internal and boundary local null controllability of a 1D parabolic PDE with nonlinear diffusion. Here, the main tools are Liusternik’s inverse function Theorem and appropriate Carleman estimates. In the second part of this Thesis, we consider M m minimal properly immersed submanifolds in a complete ambient space N n suitably close to a space form N n k of curvature −k ≤ 0. We are interested in the relation between the density function Θ(r) of M m and the spectrum of the Laplace-Beltrami operator. In particular, we prove that if Θ(r) has subexponential growth (when k < 0) or sub-polynomial growth (k = 0) along a sequence, then the spectrum of M m is the same as that of the space form N m k . Notably, the result applies to Anderson’s (smooth) solutions of Plateau’s roblem at infinity on the hyperbolic space H n , independently of their boundary regularity. We also give a simple condition on the second fundamental form that ensures M to have finite density. In particular, we show that minimal submanifolds of H n with finite total curvature have finite density. / Na primeira parte desta tese tratamos dos sistemas 3D de Navier-Stokes e Boussinesq em um cubo. Nós provamos alguns resultados sobre a controlabilidade aproximada global por meio de controles de bordo que agem em uma parte da fronteira. Estes reultados são generalizações e variações de alguns resultados anteriores de Guerrero, Imanuvilov e Puel. Ainda na primeira parte da tese, nós provamos a controlabilidade nula local interna e de bordo de uma EDP parabólica 1D com difusão não linear. Aqui, as ferramentas principais são o teorema da função inversa de Liusternik e desigualdades de Carleman adequadas. Na segunda parte desta tese, consideramos M m subvariedades mínimas propriamente imersas em um espaço ambiente completo N n adequadamente próximo a um espaço forma N n k de curvatura −k ≤ 0. Estamos interessados na relação entre a função densidade Θ(r) de M m e o espectro do operador Laplace-Beltrami. Em particular, provamos que se Θ(r) temum crescimento subexponencial (quando k < 0) ou bubpolinomial (k = 0) ao longo de uma sequência, então o espectro de M m é o mesmo do espaço forma N m k . Notavelmente, o resultado se aplica a soluções Anderson (suaves) do problema de Plateau no infinito sobre o espaço hiperbólico H n , independentemente da regularidade dos seus bordos. Nós também fornecemos uma condição simples sobre a segunda forma fundamental que garante que M tem densidade finita. Em particular, mostramos que subvariedades mínimas de H n com curvatura total finita te densidade finita.

Estudamos sistemas lineares em grupos de Lie introduzido por Ayala e Tirao em [3]. Esta nova classe de sistemas de controle é obtido através de uma generalização aos grupos de Lie de campos de vetores lineares em espaços vetoriais. Eles extendem não somente a classe bem conhecida de sistemas lineares em \'R POT. n\' mas também sistemas invariantes em grupos de Lie e os avanços recentes mostram que eles aparecem como modelos para ampla classe de sistemas de controle proveniente de diversas áreas de ciência e engenharia. Focamos nossa atenção em normalizador, que tem tido um papel fundamental em formulação de sistemas lineares em grupos de Lie, e lidamos com curvas integrais de seus campos vetoriais. Finalmente mostramos que sob certas hipóteses sistemas lineares em grupos de Lie possuem a propriedade de controlabilidade local a partir de identidade do grupo / We study linear control systems on Lie groups introduced by Ayala and Tirao in [3]. This new class of control systems is obtained through a generalization to Lie groups of linear vector fields on vector spaces. They extend not only well-known class of linear control systems on \'R POT. n\' but also invariant systems on Lie groups and recent achievements show that they appear as models for a wide class of control systems coming from several areas of science and engineering. We focus our attention on the notion of normalizer which has been played a key role for formulation of linear systems on Lie groups and then deal with integral curves of its vector fields. Finally we show that under certain assumptions linear systems on Lie groups have local controllability property from the group identity

Este trabalho estuda a observabilidade e controlabilidade para uma classe de sistema dinâmico markoviano com saltos nos parâmetros, e uma coleção de matrizes de observabilidade e controlabilidade associadas. São explorados alguns resultados de invariância, bem como certas propriedades envolvendo essas matrizes. Uma dessas propriedades, relacionada com a coleção de matrizes de observabilidade é conhecida na literatura desta classe de sistemas, mas não há uma prova disponível. Esses resultados de invariancia foram estendidos para o estudo da controlabilidade e sua respectiva coleção de matrizes associada, obtendo assim uma propriedade análoga ao caso da observabilidade. Os resultados obtidos são importantes para validar outros resultados existentes que se baseiam na propriedade referida / This work studies observability and controlability of a class of Markov systems with jumping parameters, and associated set of observability and controlability matrices. We explore some invariance results regarding the state trajectory and certain properties involving those matrices. One of these properties, related with the collection of observability matrices, is employed in the literature of this class of systems, but there is no available proof. The invariance results are extended similarly to the context of controlability leading to a property that is analogous to the observability case. The obtained results are important to validate other existing results that rely on that property

Este trabalho estuda a observabilidade e controlabilidade para uma classe de sistema dinâmico markoviano com saltos nos parâmetros, e uma coleção de matrizes de observabilidade e controlabilidade associadas. São explorados alguns resultados de invariância, bem como certas propriedades envolvendo essas matrizes. Uma dessas propriedades, relacionada com a coleção de matrizes de observabilidade é conhecida na literatura desta classe de sistemas, mas não há uma prova disponível. Esses resultados de invariancia foram estendidos para o estudo da controlabilidade e sua respectiva coleção de matrizes associada, obtendo assim uma propriedade análoga ao caso da observabilidade. Os resultados obtidos são importantes para validar outros resultados existentes que se baseiam na propriedade referida / This work studies observability and controlability of a class of Markov systems with jumping parameters, and associated set of observability and controlability matrices. We explore some invariance results regarding the state trajectory and certain properties involving those matrices. One of these properties, related with the collection of observability matrices, is employed in the literature of this class of systems, but there is no available proof. The invariance results are extended similarly to the context of controlability leading to a property that is analogous to the observability case. The obtained results are important to validate other existing results that rely on that property

Estudamos sistemas lineares em grupos de Lie introduzido por Ayala e Tirao em [3]. Esta nova classe de sistemas de controle é obtido através de uma generalização aos grupos de Lie de campos de vetores lineares em espaços vetoriais. Eles extendem não somente a classe bem conhecida de sistemas lineares em \'R POT. n\' mas também sistemas invariantes em grupos de Lie e os avanços recentes mostram que eles aparecem como modelos para ampla classe de sistemas de controle proveniente de diversas áreas de ciência e engenharia. Focamos nossa atenção em normalizador, que tem tido um papel fundamental em formulação de sistemas lineares em grupos de Lie, e lidamos com curvas integrais de seus campos vetoriais. Finalmente mostramos que sob certas hipóteses sistemas lineares em grupos de Lie possuem a propriedade de controlabilidade local a partir de identidade do grupo / We study linear control systems on Lie groups introduced by Ayala and Tirao in [3]. This new class of control systems is obtained through a generalization to Lie groups of linear vector fields on vector spaces. They extend not only well-known class of linear control systems on \'R POT. n\' but also invariant systems on Lie groups and recent achievements show that they appear as models for a wide class of control systems coming from several areas of science and engineering. We focus our attention on the notion of normalizer which has been played a key role for formulation of linear systems on Lie groups and then deal with integral curves of its vector fields. Finally we show that under certain assumptions linear systems on Lie groups have local controllability property from the group identity