USF Home > College of Arts and Sciences > Department of Mathematics & Statistics

# Colloquia — Spring 2014

## Friday, April 18, 2014

Title
Speaker

Time
Place

TBA
Benjamin Steinberg
Department of Mathematics
City College and CUNY Graduate Center
New York, NY
3:00pm-4:00pm
CMC 130
Dmytro Savchuk

Abstract

TBA

## Friday, March 21, 2014

Title

Speaker

Time
Place

Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations
Willy Hereman
Department of Applied Mathematics and Statistics
Golden, CO
3:00pm-4:00pm
CMC 130
Wen-Xiu Ma

Abstract

A method will be presented for the symbolic computation of conservation laws of nonlinear partial differential equations (PDEs) involving multiple space variables and time.

Using the scaling symmetries of the PDE, the conserved densities are constructed as linear combinations of scaling homogeneous terms with undetermined coefficients. The variational derivative is used to compute the undetermined coefficients. The homotopy operator is used to invert the divergence operator, leading to the analytic expression of the flux vector.

The method is algorithmic and has been implemented in the syntax of the computer algebra system Mathematica. The software is being used to compute conservation laws of nonlinear PDEs occurring in the applied sciences and engineering.

The software package will be demonstrated for PDEs that model shallow water waves, ion-acoustic waves in plasmas, sound waves in nonlinear media, and transonic gas flow. The featured equations include the Korteweg-de Vries, Kadomtsev-Petviashvili, Zakharov-Kuznetsov, and Khoklov-Zabolotskaya equations.

## Friday, March 7, 2014

Title
Speaker

Time
Place

Hyperbolic divided differences and Nevanlinna-Pick interpolation
Line Baribeau
Department of Mathematics & Statistics
Laval University
4:00pm-5:00pm
CMC 130
Dmitry Khavinson

Abstract

I will de ne hyperbolic divided differences, which allows us to solve Nevanlinna-Pick interpolation problems by a procedure analogous to the Newton algorithm for polynomial interpolation. I will then discuss the more difficult problem of interpolation into the spectral unit ball.

Title
Speaker

Time
Place

Spectra and pseudospectra
Thomas Ransford
Department of Mathematics & Statistics
Laval University
3:00pm-4:00pm
CMC 130
Dmitry Khavinson

Abstract

Eigenvalues are amongst the most useful tools of mathematics: they permit diagonalization of matrices, they describe asymptotics and stability, they give a matrix personality. However, when the matrix in question is not normal, standard eigenvalue analysis is only partially applicable and can even be misleading. This talk will be an introduction to the theory of pseudospectra, a refinement of standard spectral theory which has proved successful in applications concerning non-normal matrices. In particular, I shall focus on the question: do pseudospectra determine matrix behavior?

## Friday, February 28, 2014

Title
Speaker

Time
Place

A Comparison of Models of Self-Assembly: Single Tile Attachments vs. Hierarchical Assembly
Matthew Patitz
University of Arkansas
3:00pm-4:00pm
CMC 130
Nataša Jonoska

Abstract

Theoretical models of self-assembly have provided a great foundation for research into fundamental properties of self-assembling systems and their building blocks. However, the profusion of natural and biological systems which utilize self-assembly, as well as modern artificial systems (using molecular building blocks such as novel DNA-based structures) exhibit great variety in a number of physical characteristics. In order to model this diversity, as well as to help guide experimental efforts to improve laboratory implementations, researchers have developed a number of self-assembly models which each attempt to incorporate unique sets of properties. In this talk, we will present two such models: the abstract Tile Assembly Model (aTAM), and the 2-Handed Assembly Model (2HAM). Both have as their fundamental components square “tiles” which are able to attach to each other based on “glues” on each edge. However, in the aTAM every system begins growth from a special “seed” and all growth of an assembly is performed by the attachment of a single tile at a time. Alternatively, in the 2HAM every tile is considered a valid seed from which growth can begin, and arbitrarily large assemblies are allowed to bind two at a time. These differences between the models give rise to a wide array of fundamentally different powers (e.g., what can be built and how efficiently, which systems can simulate others, etc.), and we will present and discuss several such differences.

## Friday, February 21, 2014

Title
Speaker

Time
Place

Uniform attractors for non-autonomous strongly damped wave equations
Hongyan Li
Shanghai University of Science and Engineering
Shanghai, People's Republic of China
3:00pm-4:00pm
CMC 130
Yuncheng You

Abstract

The long-time behavior of solutions for non-autonomous strongly damped wave equations is studied. The existence of uniform attractors for the equations is proved and then an upper estimate for the Kolmogorov ε-entropy of the uniform attractor is obtained.

Title
Speaker

Time
Place

The space-time finite element method for evolution equations
Hong Li
Inner Mongolia University
Inner Mongolia, China
2:00-3:00pm
CMC 130
Yuncheng You

Abstract

Space-time finite element method (STFEM) is widely used in approximately solving evolution equations. Different from traditional FEM, the STFEM unifies the spatial and temporal variables in obtaining the weak formulation. STFEM concludes three kinds of discrete forms: continuous in both spatial and temporal variables, continuous in space but discontinuous in time, and discontinuous in both space and time. We mainly discuss the second method: discontinuous in time but continuous in space. The basic conceptions and formulations are given by a parabolic model problem. The development and applied foreground are discussed. Numerical simulations for some classical model problems are presented to illustrate the efficiency and reliability of the discontinuous space-time finite element method.

## Friday, February 14, 2014

Title
Speaker

Time
Place

Congruences for algebraic sequences
Reem Yassawi
Trent University
Peterborough, Ontario
3:00pm-4:00pm
CMC 130
Nataša Jonoska

Abstract

A sequence of integers $$\left(a_k\right)_{k\in\mathbb N}$$ is algebraic if its generating function $$y=\sum_k a_k x^k$$ is the root of a polynomial $$P(x,y)$$ with integer coefficients. Many illustrious combinatorial sequences, such as the Motzkin numbers or the Fibonacci numbers, are algebraic. A result of Christol, and also Denef and Lipshitz, tells us that given any prime $$p$$ and natural number $$m$$, the sequence $$\left(a_k\,\mathrm{mod} \,p^m\right)_{k\in\mathbb N}$$ is a $$p$$-automatic sequence: it is generated by a finite state machine. Another way to say this (using Cobham's theorem) is that the sequence $$\left(a_k\,\mathrm{mod}\,p^m\right)_{k\in\mathbb N}$$ is the letter to letter projection of a fixed point of a constant length $$p$$ substitution. We apply this result to show that, for any such algebraic sequence $$\left(a_k\right)$$, and any $$p$$ and $$m$$, there is a constructive procedure to compute this sequence modulo $$p^m$$. We compute several examples, reproving, in a unified way, several disparate results in the combinatorics literature. We also compute new congruences, such as for the Apéry numbers, which are not algebraic, but which are “diagonals” of higher dimensional algebraic arrays. We also discuss how these algebraic sequences naturally lead to a definition of a constant length substitution and corresponding dynamical system, on infinitely many letters. This research is joint work with Eric Rowland, and the talk is accessible to a mathematical audience.

Title
Speaker

Time
Place