Semigroup analysis of structured populations with distributed states-at-birth arising in mathematical aquaculture

Motivated by the modelling of structured parasite populations in aquaculture we consider a class of physiologically structured population models, where individuals may be recruited into the population at different sizes in general. That is, we consider a size-structured population model with distributed states-at-birth. The mathematical model which describes the evolution of such a population is a first order nonlinear partial integro-differential equation of hyperbolic type. First, we use positive perturbation arguments and utilise results from the spectral theory of semigroups to establish conditions for the existence of a positive equilibrium solution of our model. Then we formulate conditions that guarantee that the linearised system is governed by a positive quasicontraction semigroup on the biologically relevant state space. We also show that the governing linear semigroup is eventually compact, hence growth properties of the semigroup are determined by the spectrum of its generator. In case of a separable fertility function we deduce a characteristic equation and investigate the stability of equilibrium solutions in the general case using positive perturbation arguments.

A model structure for coloured operads in symmetric spectra

We describe a model structure for coloured operads with values in the category of symmetric spectra (with the positive model structure), in which fibrations and weak equivalences are defined at the level of the underlying collections. This allows us to treat R-module spectra (where R is a cofibrant ring spectrum) as algebras over a cofibrant spectrum-valued operad with R as its first term. Using this model structure, we give sufficient conditions for homotopical localizations in the category of symmetric spectra to preserve module structures.

Carleson Measures and Logvinenko-Sereda sets on compact manifolds

Given a compact Riemannian manifold $M$ of dimension $m \geq 2$, we study the space of functions of $L^2(M)$generated by eigenfunctions ofeigenvalues less than $L \geq 1$ associated to the Laplace-Beltrami operator on $M$. On these spaces we give a characterization of the Carleson measures and the Logvinenko-Sereda sets.

Argumentos de Gordon no estudo espectral de operadores de Schrödinger unidimensionais

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Albert-László Barabási, Linked – The New Science of Networks, Perseus, Cambridge, 2002. Duncan J. Watts, Six Degrees – The Science of a Connected Age, William Heinemann, Londres, 2003.

Com a criação da teoria das redes, assistiu-se nos últimos anos a uma revolução científica de carácter interdisciplinar Não é uma teoria inteiramente nova, tendo sido precedida pela criação por P. Erdvos, nos anos sessenta, da teoria dos grafos aleatórios. Esta última é uma teoria puramente matemática, donde termos escrito “grafo” em lugar de “rede”. Apenas recentemente podemos falar de uma efectiva teoria das redes reais, e isso devido ao abandono de algumas das ideias essenciais avançadas por Erdvos, em especial a ideia de partir de um conjunto previamente dado de nós, os quais de seguida vão sendo conectados aleatoriamente com probabilidade p. Este quadro geral começou a ser modificado pelo chamado modelo dos “mundo-pequenos” proposto em 1998 por Duncan Watts e Steve Strogatz, modificação que se tornou ainda mais radical quando, em 1999, Albert Barabási e colaboradores propuseram um modelo no qual os nós vão progressivamente nascendo e conectados por uma função de preferência: um nó conecta-se em proporção às ligações que os outros nós já possuem, pelo que quantas mais ligações um nó possui maior a probabilidade de receber ulteriores ligações.

Index theory for basic Dirac operators on Riemannian foliations

In this paper we prove a formula for the analytic index of a basic Dirac-type operator on a Riemannian foliation, solving a problem that has been open for many years. We also consider more general indices given by twisting the basic Dirac operator by a representation of the orthogonal group. The formula is a sum of integrals over blowups of the strata of the foliation and also involves eta invariants of associated elliptic operators. As a special case, a Gauss-Bonnet formula for the basic Euler characteristic is obtained using two independent proofs.

Álgebras de operadores, esperança condicional e a Entropia de Connes-Stormer

Neste trabalho fazemos um breve estudo de Álgebras de Operadores, mais especificamente Álgebras-C* e Álgebras de von Neumann. O objetivo é expor alguns resultados que seriam os análogos não-comutativos de teoremas em Teoria da Medida e Teoria Rrgódica. Inicialmente, enunciamos alguns resultados de Análise Funcional e Teoria Espectral, muitos destes sendo demonstrados, com ênfase especial aos que dizem respeito µas álgebras. Com isso, dispomos das ferramentas necessárias para falarmos de alguns tópicos da então chamada Teoria da Integração Não-Comutativa. Uma desigualdade tipo Jensen é provada e, com o teorema de Radon-Nikodym para funcionais normais positivos, construimos uma esperança condicional, provando que esta possui as mesmas propriedades da esperança condicional da Teoria das Probabilidades. Dada a Esperança Condicional, objeto este que faz parte do cenário atual de pesquisa na área de Álgebra de Operadores e que está relacionado com resultados fundamentais tal como o Índice de Jones, passamos à definição da Entropia de Connes-Stormer. Finalizamos o trabalho analisando esta entropia, que é a versão para as álgebras de von Neumann da entropia Kolmogorov-Sinai em Teoria Ergódica. Provamos algumas pro- priedades que são análogas às do conceito clássico de entropia e indicamos uma aplicação da mesma. O texto não possui resultados originais, trata-se apenas de uma releitura de artigos usando versões mais recentes de alguns teoremas.

Conjuntos númericos, razão, proporção e regra de três

Apresenta a revisão de tópicos de matemática elementar do ensino fundamental com visão do ensino superior. Na subunidade 1 são abordados os conceitos de conjuntos numéricos e algumas das propriedades inerentes à suas estruturas: números naturais, números inteiros, números racionais, números irracionais, números reais, intervalos reais e números complexos. A subunidade 2 engloba a definição dos conceitos de grandezas proporcionais: números direta e inversamente proporcionais, grandezas direta e inversamente proporcionais, regra de três simples, regra de três composta com resolução de problemas ilustrativos. Os exemplos resolvidos englobam a aplicação da regra de três simples e composta para grandezas direta e inversamente proporcionais.

Equações de primeiro grau

Trata-se da revisão de tópicos de matemática elementar do ensino fundamental com visão do ensino superior. Na subunidade 3 são abordados conceitos de cálculo algébrico, conjunto universo e conjunto solução de uma equação, equações do primeiro grau e inequações do primeiro grau com resolução de problemas. A subunidade 4 engloba a definição dos conceitos de monômios ou termos algébricos e polinômios e suas propriedades. Como complemento a teoria abordada apresenta exemplos de cálculo do mmc de polinômios e de equações fracionárias de primeiro grau com uma incógnita.

Equações de segundo grau

Apresenta a revisão de tópicos de matemática elementar do ensino fundamental com visão do ensino superior. Na subunidade 5 são abordados os seguintes tópicos: resolução de Equações do Segundo Grau com exemplo de cálculo, estudo das Raízes da Equação de Segundo Grau, resolução de Equações Biquadradas com exemplo de cálculo e Equações Irracionais com exemplo de cálculo.

Propriedades espectrais uniformes para operadores de Schrödinger com potenciais Sturmianos

Pós-graduação em Matematica Aplicada e Computacional - FCT

Estudo do espectro Laplaciano na categorização de imagens

Uma imagem engloba informação que precisa ser organizada para interpretar e compreender seu conteúdo. Existem diversas técnicas computacionais para extrair a principal informação de uma imagem e podem ser divididas em três áreas: análise de cor, textura e forma. Uma das principais delas é a análise de forma, por descrever características de objetos baseadas em seus pontos fronteira. Propomos um método de caracterização de imagens, por meio da análise de forma, baseada nas propriedades espectrais do laplaciano em grafos. O procedimento construiu grafos G baseados nos pontos fronteira do objeto, cujas conexões entre vértices são determinadas por limiares T_l. A partir dos grafos obtêm-se a matriz de adjacência A e a matriz de graus D, as quais definem a matriz Laplaciana L=D -A. A decomposição espectral da matriz Laplaciana (autovalores) é investigada para descrever características das imagens. Duas abordagens são consideradas: a) Análise do vetor característico baseado em limiares e a histogramas, considera dois parâmetros o intervalo de classes IC_l e o limiar T_l; b) Análise do vetor característico baseado em vários limiares para autovalores fixos; os quais representam o segundo e último autovalor da matriz L. As técnicas foram testada em três coleções de imagens: sintéticas (Genéricas), parasitas intestinais (SADPI) e folhas de plantas (CNShape), cada uma destas com suas próprias características e desafios. Na avaliação dos resultados, empregamos o modelo de classificação support vector machine (SVM), o qual avalia nossas abordagens, determinando o índice de separação das categorias. A primeira abordagem obteve um acerto de 90 % com a coleção de imagens Genéricas, 88 % na coleção SADPI, e 72 % na coleção CNShape. Na segunda abordagem, obtém-se uma taxa de acerto de 97 % com a coleção de imagens Genéricas; 83 % para SADPI e 86 % no CNShape. Os resultados mostram que a classificação de imagens a partir do espectro do Laplaciano, consegue categorizá-las satisfatoriamente.

Avaliação do Processo de Ensino e Aprendizagem em Matemática: contribuições da teoria histórico-cultural

This article presents the results of a study that investigated the meaning of evaluation in mathematics from the historical cultural perspective, focusing on activity theory. In order to develop the investigation, a collaborative group was formed from the Oficina Pedagogica de Matematica de Ribeirao Preto - Sao Paulo (Math Pedagogic Workshop of Ribeirao Preto - OPM/RP), constituted of pre-school teachers and early elementary school teachers, who were participants in this research. The main role of the collaborative group was to offer guided development to the teachers about the teaching of mathematics from the historical-cultural perspective, aiming at collecting data on the process of appropriation of mathematical knowledge by the teachers. The syntheses about the teachers' learning process have contributed to systematize the guiding elements of evaluation in mathematics from the historical-cultural perspective.