# American Institute of Mathematical Sciences

All Issues

## Conference Publications

2003

Select all articles

Export/Reference:

2003, 2003(Special): 1-10 doi: 10.3934/proc.2003.2003.1 +[Abstract](1098) +[PDF](216.0KB)
Abstract:
Let X be a Banach space on which a symmetry group G linearly acts and let J be a G-invariant functional defined on X. In 1979, R. Palais [6] gave some sufficient conditions to guarantee the so-called "Principle of Symmetric Criticality": every critical point of J restricted on the subspace of symmetric points becomes also a critical point of J on the whole space X. In [5], this principle was generalized to the case where J is non-smooth and the setting does not require the full variational structure when G is compact or isometric.
The purpose of this paper is to combine this result with the abstract theory developed in [1] and [2] concerning the evolution equation: $du(t)$/$dt + \partial\upsilon^1(u(t))- \partial\upsilon^2(u(t))$ ∋ $f(t)$ in V*, where $\partial\upsilon^i$ is the so-called subdifferential operator from a Banach space X into its dual V*. It is assumed that there exists a Hilbert space H satisfying $V \subset H \subset V$ and that G acts on these spaces as isometries. In this setting, the existence of G-symmetric solution for above equation can be discussed.
As an application, a parabolic problem with the p-Laplacian in unbounded domains is discussed.
2003, 2003(Special): 11-20 doi: 10.3934/proc.2003.2003.11 +[Abstract](1128) +[PDF](220.2KB)
Abstract:
Sufficient conditions for the existence of strong solutions to the Cauchy problem are given for the evolution equation $du(t)$/$dt + \partial\upsilon^1(u(t))- \partial\upsilon^2(u(t)) \in f(t)$ in V*, where $\partial\upsilon^1$ is the so-called subdifferential operator from a Banach space V into its dual space V* ($i$ = 1,2).
Studies for this equation in the Hilbert space framework has been done by several authors. However the study in the V -V* setting is not pursued yet.
Our method of proof relies on some approximation arguments in a Hilbert space. To carry out this procedure, it is assumed that there exists a Hilbert space H satisfying $V \subset H \-= H$* $\subset V$* with densely defined continuous injections.
As an application of our abstract theory, the initial-boundary value problem is discussed for the nonlinear heat equation: $ut(x, t)-\Delta_p u(x, t)-|u|^(q-2) u(x, t) = f(x, t), x \in \Omega, u|_(\partial\Omega) = 0, t \>= 0$, where ­$\Omega$ is a bounded domain in $\mathbb(R)^N$. In particular, the local existence of solutions is assured under the so-called subcritical condition, i.e., $q < p$*, where $p$* denotes Sobolev’s critical exponent, provided that the initial data $u_0$ belongs to $W_0^(1,p)(\­Omega)$.
2003, 2003(Special): 21-29 doi: 10.3934/proc.2003.2003.21 +[Abstract](832) +[PDF](566.3KB)
Abstract:
In anharmonic chains with even potentials, including classical Fermi- Pasta-Ulam model, we show how ordered structures can coexist with high degree stochasticity.
2003, 2003(Special): 30-41 doi: 10.3934/proc.2003.2003.30 +[Abstract](841) +[PDF](203.6KB)
Abstract:
We analyze the relaxation and computation of the relaxed density when we reformulate a typical optimal design problem with volume constraint in two dimension as a fully vector variational problem. Our aim is to examine a general cost functional depending explicitly on all variables and in particular in the gradient variable, and see how far computations and properties of the relaxed integrand can be pushed.
2003, 2003(Special): 42-47 doi: 10.3934/proc.2003.2003.42 +[Abstract](943) +[PDF](155.8KB)
Abstract:
Some properties of non-locally bounded solutions for Abel integral equations are given. The case in which there exists two non-trivial solutions for such equations is also studied. Besides, some known results about existence, uniqueness and attractiveness of solutions for some Volterra equations are improved.
2003, 2003(Special): 48-56 doi: 10.3934/proc.2003.2003.48 +[Abstract](1017) +[PDF](192.2KB)
Abstract:
We study linear, conservative, stationary dynamical systems (l.c.s.d.s) with unbounded main operator and their transfer operator-valued functions. A new class of transfer operator-valued functions is introduced and shown that this class is invariant with respect to multiplication (from the left, from the right or both) by a constant J-unitary operator. The problem how to realize the product W(z)B as a transfer function of some l.c.s.d.s with an arbitrary J-unitary operator B and given realization of W(z) is considered.
2003, 2003(Special): 57-67 doi: 10.3934/proc.2003.2003.57 +[Abstract](1056) +[PDF](187.8KB)
Abstract:
We study controllability for a string under an axial stretching tension. The tension is a sum of a constant positive term and a small, slowly variable, load. We are looking for an exterior force $g(x)f(t)$ that drives the state solution to rest. The controllability problem is reduced to a moment problem for the control $f(t)$: We describe the set of initial data which may be driven to rest by a control $f(t) \in L^2(0, T)$: The description is obtained in terms of the Fourier coefficients of the initial data. The proof is based on an auxiliary basis property result.
2003, 2003(Special): 68-77 doi: 10.3934/proc.2003.2003.68 +[Abstract](1068) +[PDF](171.9KB)
Abstract:
The generalized symmetry group of a quasiperiodic flow on a $n$-torus is the group theoretic normalizer, within the group of diffeomorphisms of the $n$-torus, of the one parameter abelian group of diffeomorphisms generated by the flow. Up to conjugacy, the generalized symmetry group of a quasiperiodic flow is determined by a system of uncoupled first order partial differential equations. New types of symmetries (other than the classical types of symmetries or time-reversing symmetries) may exist depending on certain algebraic relationships being satisfied by pair wise ratios of the frequencies of the quasiperiodic flow. These new symmetries, when they exist, are a dominant feature of a reducible linear representation of the generalized symmetry group in the de Rham cohomology of the $n$-torus.
2003, 2003(Special): 78-82 doi: 10.3934/proc.2003.2003.78 +[Abstract](898) +[PDF](205.2KB)
Abstract:
We show that quotients of the Bruhat-Tits building of S$L_3(mathbb(Q)_p)$ form an infinite family of graphs which are Ramanujan type. We investigate the Bruhat-Tits tree associated with U$_3(mathbb(Q)_p)$ and show how its relation to the building of S$L_3(mathbb(Q)_p)$should lead to an estimation of its spectrum.
2003, 2003(Special): 83-90 doi: 10.3934/proc.2003.2003.83 +[Abstract](988) +[PDF](185.7KB)
Abstract:
We give conditions on $f(y)$ which guarantee that the boundary value problem $T_ny(x) = f(y(x))$, 0 < $x$ < $A$, $y^(2j)$(0) = 0 = $y^(2j+1)(A)$, $j$ = 0, 1,... , $n$-1, where $T_n$ is the $n$th iterate of the operator $Ty(x)$ = -$(1)/( w(x))$ $(p(x)y'(x))'$, have a prescribed number of multiple positive solutions. Our main tool is a fixed point theorem of Krasnosel’skiĭ.
2003, 2003(Special): 91-99 doi: 10.3934/proc.2003.2003.91 +[Abstract](988) +[PDF](175.3KB)
Abstract:
We discuss the behavior, for large values of time, of a class of linear mechanical systems with a multiplicative white noise in its parameters. The initial conditions may be random as well but are independent of white noise. It is well known that a deterministic linear mechanical system with viscous damping is stable, i.e., its energy approaches zero as time increases. We calculate the expected energy and check that this behavior takes place in the case when the initial conditions are random but the parameters are not. When the parameters contain a random noise the expected energy may be infinite, approach zero, remain bounded, or increase with no bound. We give necessary and sufficient conditions for stability of the systems considered in terms of the roots of an auxiliary equation.
2003, 2003(Special): 100-107 doi: 10.3934/proc.2003.2003.100 +[Abstract](957) +[PDF](162.5KB)
Abstract:
Sufficient conditions are given for the asymptotic constancy of the solutions of a nonhomogeneous linear delay differential equation with unbounded delays. Moreover, it is shown that the limits of the solutions, as $t \to \infty$, can be computed in terms of the initial function and a special matrix solution of the corresponding adjoint equation.
Bi Ping and
2003, 2003(Special): 108-112 doi: 10.3934/proc.2003.2003.108 +[Abstract](941) +[PDF](131.3KB)
Abstract:
In this paper, we are mainly concerned with the second order difference equations with advanced argument and give sufficient conditions for their solutions to be oscillatory.
2003, 2003(Special): 113-122 doi: 10.3934/proc.2003.2003.113 +[Abstract](1113) +[PDF](219.3KB)
Abstract:
The (alpha) version of the Fermi-Pasta-Ulam is revisited through direct numerical simulations and an application of weak turbulence theory. The energy spectrum, initialized with a large scale excitation, is traced through a series of distinct qualitative phases en route to eventual equipartition. Weak turbulence theory is applied in an attempt to provide an effective quantitative description of the evolution of the energy spectrum. Some scaling predictions are well-confirmed by the numerical simulations.
2003, 2003(Special): 123-132 doi: 10.3934/proc.2003.2003.123 +[Abstract](1287) +[PDF](787.2KB)
Abstract:
We study two perturbed Hamiltonian systems in which chaos-like dynamics can be induced by stochastic perturbations. We show the similarities of a class of population and laser models, analytically and topologically. Both systems have similar manifold structure that includes bi-instability and partially formed heteroclinic connections. Noise takes advantage of this structure, inducing a global bifurcation and chaotic-like dynamics which exhibits mixed mode behavior of the original bi-stable solutions. We support these claims with numerical approximations of the transport between basins.
2003, 2003(Special): 133-140 doi: 10.3934/proc.2003.2003.133 +[Abstract](1227) +[PDF](339.7KB)
Abstract:
This paper deals with the numerical continuation of invariant manifolds, regardless of the restricted dynamics. Typically, invariant manifolds make up the skeleton of the dynamics of phase space. Examples include limit sets, co-dimension 1 manifolds separating basins of attraction (separatrices), stable/unstable/center manifolds, nested hierarchies of attracting manifolds in dissipative systems and manifolds in phase plus parameter space on which bifurcations occur. These manifolds are for the most part invisible to current numerical methods. The approach is based on the general principle of normal hyperbolicity, where the graph transform leads to the numerical algorithms. This gives a highly multiple purpose method. The key issue is the discretization of the differential geometric components of the graph transform, and its consequences. Examples of computations will be given, with and without non-uniform adaptive refinement.
2003, 2003(Special): 141-146 doi: 10.3934/proc.2003.2003.141 +[Abstract](988) +[PDF](152.9KB)
Abstract:
The aim of this note is to prove some existence and uniqueness theorems on positive solutions of some nonlinear fractional equations. Classical as well as Carathéodory’s solutions are under our considerations.
2003, 2003(Special): 147-155 doi: 10.3934/proc.2003.2003.147 +[Abstract](899) +[PDF](168.9KB)
Abstract:
In this paper we formulate conditions, different from the global commutativity, under which one can estimate the spectral radius of the composition of linearly bounded operators. We apply this estimation to prove the existence of global solutions for some functional differential equations and systems of such equations. All our results are illustrated by suitable examples.
2003, 2003(Special): 156-166 doi: 10.3934/proc.2003.2003.156 +[Abstract](1071) +[PDF](208.6KB)
Abstract:
This paper presents new results for the identification of predictive models for unknown dynamical systems. The three key elements of the proposed approach are: i) an unknown mechanism that generates the observed data; ii) a family of models, among which we select our predictor, on the basis of past observations; iii) an optimality criterion that we want to minimize. A major departure from standard identification theory is taken in that we consider interval models for prediction, that is models that return output intervals, as opposed to output values. Moreover, we introduce a consistency criterion (the model is required to be consistent with observations) which act as a constraint in the optimization procedure. In this framework, the model has not to be interpreted as a faithful description of reality, but rather as an instrument to perform prediction. To the optimal model, we attach a certificate of reliability, that is a statement of the probability that the computed model will actually be consistent with future unknown data.
2003, 2003(Special): 167-172 doi: 10.3934/proc.2003.2003.167 +[Abstract](850) +[PDF](170.3KB)
Abstract:
In this paper, we provide sufficient conditions for the equation

$[x(t) + ax(t + \alpha h) + bx(t + \beta g)]^(n)$ - $cx(t + \mu H)$ - $dx(t + G) = r(t)$

to be oscillatory.

2003, 2003(Special): 173-181 doi: 10.3934/proc.2003.2003.173 +[Abstract](980) +[PDF](197.4KB)
Abstract:
Let the nonlinear equation $D_s(dotx) + \lambda \nabla_x V (x, s) = 0$ be defined in a non–complete Riemannian manifold $M$ and consider those ones of its solutions which join any couple of fixed points in $M$ in a fixed arrival time $T > 0$. If $V$ has a quadratic growth with respect to $x$ and if $M$ has a convex boundary, then a "best constant" $bar(\lambda)(T)>$ 0 exists such that if $0 \<= \lambda \< bar(\lambda)(T)$ the problem admits at least one solution while infinitely many ones exist if the topology of $M$ is not trivial.
2003, 2003(Special): 182-188 doi: 10.3934/proc.2003.2003.182 +[Abstract](999) +[PDF](160.9KB)
Abstract:
This paper is concerned with positive solutions of the reaction-diffusion system

$u_t - \Delta u = u^(m_1)v^(n_1)$ ,
$v_t - \Delta v = u^(m_2)v^(n_2)$ ,

which blow up at $t = T$. We obtain the following estimates on the blow-up rates:

$c(T - t)^(-(n_1-n_2+1)/\gamma) <= max_(x\in\Omega) u(x, t) <= C(T - t)^(-(n_1-n_2+1)/\gamma)$,
$c(T - t)^(-(m_2-m_1+1)/\gamma) <= max_(x\in\Omega) v(x, t) <= C(T - t)^(-(m_2-m_1+1)/\gamma)$,

for some positive constants $c,C$ and $\gamma = m_2n_1 - (1 - m_1)(1 - n_2)$.

2003, 2003(Special): 189-199 doi: 10.3934/proc.2003.2003.189 +[Abstract](914) +[PDF](204.3KB)
Abstract:
We address the problem of constructing numerical integrators for nonholonomic Lagrangian systems that enjoy appropriate discrete versions of the geometric properties of the continuous flow, including the preservation of energy. Building on previous work on time-dependent discrete mechanics, our approach is based on a discrete version of the Lagrange-d’Alembert principle for nonautonomous systems.
2003, 2003(Special): 200-205 doi: 10.3934/proc.2003.2003.200 +[Abstract](798) +[PDF](158.6KB)
Abstract:
We obtain existence theorems for semilinear equations of the form Lx = Nx, where the operators L and N satisfy a weakly inward condition and are such that L - N is A-proper. In particular, results involving positive and multiple solutions are proved.
2003, 2003(Special): 206-212 doi: 10.3934/proc.2003.2003.206 +[Abstract](785) +[PDF](159.9KB)
Abstract:
Explicit, exact periodic orbit expansions for individual eigenvalues exist for a subclass of quantum networks called regular quantum graphs. We prove that all linear chain graphs have a regular regime.
2003, 2003(Special): 213-222 doi: 10.3934/proc.2003.2003.213 +[Abstract](938) +[PDF](252.2KB)
Abstract:
We investigate spectra of Cayley graphs for the Heisenberg group over finite rings $\mathbb(Z)$/$p^n\mathbb(Z)$, where $p$ is a prime. Emphasis is on graphs of degree four. We show that for odd $p$ there is only one such connected graph up to isomorphism. When $p = 2$, there are at most two isomorphism classes. We study the spectra using representations of the Heisenberg group. This allows us to produce histograms and butterfly diagrams of the spectra.
2003, 2003(Special): 223-233 doi: 10.3934/proc.2003.2003.223 +[Abstract](1174) +[PDF](194.9KB)
Abstract:
The existence of singular arcs for optimal control problems is studied by using a geometric recursive algorithm inspired in Dirac’s theory of constraints. It is shown that singular arcs must lie in the singular locus of a projection map into the coestate space. After applying the geometrical recursive constraints algorithm, we arrive to a reduced set of hamiltonian equations that replace Pontriaguine’s maximum principle. Finally, a global singular perturbation theory is used to obtain nearly optimal solutions.
2003, 2003(Special): 234-245 doi: 10.3934/proc.2003.2003.234 +[Abstract](714) +[PDF](154.9KB)
Abstract:
Abstract not present.
2003, 2003(Special): 246-255 doi: 10.3934/proc.2003.2003.246 +[Abstract](799) +[PDF](194.1KB)
Abstract:
We apply Cartan’s method of equivalence to the case of nonholonomic geometry on three-dimensional contact manifolds. Our main result is to derive the differential invariants for these structures and give geometric interpretations. We show that the symmetry group of such a structure has dimension at most four. Our motivation is to study the geometry associated with classical mechanical systems with nonholonomic constraints.
2003, 2003(Special): 256-262 doi: 10.3934/proc.2003.2003.256 +[Abstract](985) +[PDF](160.9KB)
Abstract:
We consider the question of exponential stability of the solution semi- group for a class of scalar differential-difference equations of neutral type. Under very weak assumptions on the coefficients in the equation we show how to construct an appropriate inner product on the underlying state space, which guarantees that the numerical abscissa of the infinitesimal generator is negative.
2003, 2003(Special): 263-272 doi: 10.3934/proc.2003.2003.263 +[Abstract](923) +[PDF](169.7KB)
Abstract:
We will prove existence results for some three-point boundary value problems by applying a Gronwall inequality. Then, we establish the existence of at least one positive solution for a three-point boundary value problem where the nonlinearity involves the first derivative.
2003, 2003(Special): 273-280 doi: 10.3934/proc.2003.2003.273 +[Abstract](860) +[PDF](169.6KB)
Abstract:
We prove several new existence results for second–order differential equations with nonlinear boundary value conditions including periodic, antiperiodic and Dirichlet data among others. New definitions of upper and lower solutions for our problems are presented and existence will be established via fixed point methods.
2003, 2003(Special): 281-287 doi: 10.3934/proc.2003.2003.281 +[Abstract](1002) +[PDF](290.5KB)
Abstract:
For a one-phase free-boundary problem with kinetics, which is known to generate a rich dynamics, we present results of a numerical study of the correlation dimension of the attractor.
2003, 2003(Special): 288-294 doi: 10.3934/proc.2003.2003.288 +[Abstract](1141) +[PDF](161.8KB)
Abstract:
For bound one-dimensional systems, the semiclassical limit h $\to 0$ of the Schrödinger equation generally corresponds to the limit of infinite quantum numbers, and conventional WKB quantization becomes increasingly accurate in this limit. A potential well with a sufficiently strong attractive inverse-square tail supports an infinite dipole series of bound states, but the limit of infinite quantum numbers is not the semiclassical limit in this case. Semiclassical eigenvalues derived via conventional WKB quantization tend to a constant relative error in the large-quantum-number limit when the Langer modification is used. Without the Langer modification the relative error grows exponentially in the limit of large quantum numbers.
2003, 2003(Special): 295-304 doi: 10.3934/proc.2003.2003.295 +[Abstract](893) +[PDF](212.9KB)
Abstract:
This paper deals with the existence and multiplicity of solutions to a class of resonant semilinear elliptic system in RN. The main goal is to consider systems with coupling where none of the potentials are coercive. The existence of solution is proved under a critical growth condition on the nonlinearity.
2003, 2003(Special): 305-312 doi: 10.3934/proc.2003.2003.305 +[Abstract](1144) +[PDF](184.1KB)
Abstract:
The goal of this paper is to prove time-asymptotic regularity in Gevrey spaces of the solution of a singularly perturbed damped wave equation and to obtain the uniform (with respect to the perturbation parameter) bounds for the associated global and exponential attractors in the appropriate Gervey spaces.
2003, 2003(Special): 313-319 doi: 10.3934/proc.2003.2003.313 +[Abstract](1038) +[PDF](166.8KB)
Abstract:
We consider problems of the form

$(\phi(u'))' = f(t, u, u'), t \in (0, 1)$;

under the three point boundary condition

$u'(0) = 0, u(n) = u(1);$

where $n \in$ (0, 1) is given. This problem is at resonance. Three-point boundary value problems at resonance have been studied in several papers, we present here some new result as well as generalizations of some results valid for particular forms of the operator -$(\phi(u'))'. 2003, 2003(Special): 320-326 doi: 10.3934/proc.2003.2003.320 +[Abstract](993) +[PDF](182.2KB) Abstract: In this paper we study an optimal control problem of Bolza-type described by evolution hemivariational inequality of second order. Sufficient conditions for obtaining an existence result for such problem are given. 2003, 2003(Special): 327-335 doi: 10.3934/proc.2003.2003.327 +[Abstract](800) +[PDF](228.1KB) Abstract: We show that three numbers which are critical for suitable embedding inequalities are also critical for existence results for some m-Laplace quasilinear elliptic problems with polynomial reaction term. 2003, 2003(Special): 336-341 doi: 10.3934/proc.2003.2003.336 +[Abstract](858) +[PDF](176.7KB) Abstract: We study a class of quasilinear elliptic equations suggested by C.H. Derrick in 1964 as models for elementary particles. For scalar fields we prove some new nonexistence results. For vector-valued fields the situation is different as shown by recent results concerning the existence of solitary waves with a topological constraint. 2003, 2003(Special): 342-350 doi: 10.3934/proc.2003.2003.342 +[Abstract](1113) +[PDF](186.2KB) Abstract: The authors consider the third order neutral delay differential equation$a(t) b(t) (y(t) + py(t - \tau))'^'^' + q(t)f(y(t - \sigma)) = 0$where$a(t) > 0, b(t) > 0, q(t) >= 0, 0 <= p < 1, \tau > 0$, and$\sigma > 0$. Criteria for the oscillation of all solutions of (*) are obtained. Examples illustrating the results are included. 2003, 2003(Special): 351-358 doi: 10.3934/proc.2003.2003.351 +[Abstract](1098) +[PDF](177.2KB) Abstract: We provide an optimal regularity result for the universal attractor of the weakly damped semilinear wave equation, when the nonlinearity satisfies the critical growth condition. This allows us to prove an upper semicontinuity result as well as the existence of an exponential attractor. 2003, 2003(Special): 359-364 doi: 10.3934/proc.2003.2003.359 +[Abstract](896) +[PDF](269.7KB) Abstract: A nonlinear controlled system of differential equations has been constructed to describe the process of production and sales of a consumer good. This model can be controlled either by the rate of production or by the price of the good. The attainable sets of corresponding controlled systems are studied. It is shown that in both cases the boundaries of these sets are the unions of two two-parameter surfaces. It is proved that every point on the boundaries of the attainable sets is a result of piecewise constant controls with at most two switchings. Attainable sets for different values of parameters of the model will be demonstrated using MAPLE. 2003, 2003(Special): 365-374 doi: 10.3934/proc.2003.2003.365 +[Abstract](817) +[PDF](199.6KB) Abstract: A modified Chebyshev rational orthogonal system on the whole line is introduced. A rational spectral scheme for the Korteweg de Vries equation on the whole line is constructed. The convergence is proved. The numerical results show its efficiency. 2003, 2003(Special): 375-385 doi: 10.3934/proc.2003.2003.375 +[Abstract](980) +[PDF](406.0KB) Abstract: In this paper, we study the semi-Lagrangian spectral method for the shallow-water equations in a rotating, spherical geometry. With the reformulation of a vector calculus identity for spherical geometries, we are able to write the vorticity and divergence equations in advective form and directly apply the semi-Lagrangian, spectral method. The scalar vorticity and divergence equations are used to avoid the pole problems. Shape preserving interpolation is used for the calculation of departure point values for all fields. The results of the standard test set are presented showing accuracy, stability and regularity properties of the method for atmospheric flows. 2003, 2003(Special): 386-392 doi: 10.3934/proc.2003.2003.386 +[Abstract](880) +[PDF](175.8KB) Abstract: Nonimaging optics is a field that studies optimal concentration of light from a source distribution to a receiver. The relevant information is codified by a field of cones at each point of the concentrator, formed by those rays that we want to reach the receiver (perhaps after some reflections on the wall of the concentrator). This suggests that we can use Lorentz geometry to analyze the problem. We will establish a technique to design three dimensional ideal concentrators with arbitrary media which generalizes a previous one for the homogeneous case. 2003, 2003(Special): 393-402 doi: 10.3934/proc.2003.2003.393 +[Abstract](1010) +[PDF](206.1KB) Abstract: In this paper, we are concerned with the existence and nonexistence of nontrivial solutions for nonlinear elliptic equations involving a biharmonic operator. Concerning the second order equations, a complementary result was obtained for the problem of interior, exterior and whole space. The main purpose of this paper is to discuss whether the complementary result mentioned above is still valid for the nonlinear fourth order equations. We introduce "Kelvin type transformation" for a biharmonic operator to convert an exterior problem to an interior problem. The existence results in case of super-critical exterior problem are shown by introducing a weighted version of Sobolev-Poincaré type inequality, and the nonexistence results are shown by giving a Pohozaev-type identity for fourth order equations. 2003, 2003(Special): 403-412 doi: 10.3934/proc.2003.2003.403 +[Abstract](922) +[PDF](159.2KB) Abstract: Considering a family of non-densely defined Hille-Yosida operators A($\epsilon$), we discuss continuity in a multi-parameter$\epsilon$of integrated semigroup S(t,$\epsilon$) generated by A($\epsilon$). Recent developed theorems are given for determining continuity in parameters of integrated semigroup on the entire space. The obtained results are effectively and conveniently employed for some hyperbolic and parabolic types of equations. 2003, 2003(Special): 413-422 doi: 10.3934/proc.2003.2003.413 +[Abstract](986) +[PDF](205.4KB) Abstract: We make two observations about the zeta function of a graph. First we show how Bass’s proof of Ihara’s formula fits into the framework of torsion of complexes. Second, we show how in the special case of those graphs that are quotients of the Bruhat-Tits tree for SL(2,$K$) for a local nonarchimedean field$K$, the zeta function has a natural expression in terms of the$L$-functions of Coexter systems. 2003, 2003(Special): 423-431 doi: 10.3934/proc.2003.2003.423 +[Abstract](918) +[PDF](169.8KB) Abstract: The Euler-Cauchy differential equation and difference equation are well known. Here we study a more general Euler-Cauchy dynamic equation. For this more general equation when we have complex roots of the corresponding characteristic equation we for the first time write solutions of this dynamic equation in terms of a generalized exponential function and generalized sine and cosine functions. This result is even new in the difference equation case. We then spend most of our time studying the oscillation properties of the Euler-Cauchy dynamic equation. Several oscillation results are given and an open problem is posed. 2003, 2003(Special): 432-438 doi: 10.3934/proc.2003.2003.432 +[Abstract](952) +[PDF](160.3KB) Abstract: Using the theory of fixed point index, we establish new results for some differential equations subject to nonlinear boundary conditions. We obtain existence of at least one or of multiple positive solutions. 2003, 2003(Special): 439-448 doi: 10.3934/proc.2003.2003.439 +[Abstract](1104) +[PDF](196.1KB) Abstract: We show the existence and uniqueness of a strong solution for the system of magneto-micropolar fluid motions under some assumptions on the regularity of given data similar to those of Fujita-Kato [4]. The method of our proof relies on the abstract nonmonotone perturbation theory developed in ˆ Otani [10]. 2003, 2003(Special): 449-458 doi: 10.3934/proc.2003.2003.449 +[Abstract](1007) +[PDF](198.1KB) Abstract: In this paper we study, using Laplace transform methods, some questions of output determination for the wave equation and the Euler–Bernoulli beam equation. Specifically we study the problem of determining, over a specified time interval, the displacement at a particular spatial point, via control exercised by means of an external force applied at another spatial point. Some indications of a more general theory are given. 2003, 2003(Special): 459-468 doi: 10.3934/proc.2003.2003.459 +[Abstract](1006) +[PDF](210.6KB) Abstract: Stokes' second problem for dipolar fluids is solved and analyzed under boundary conditions (BC)s involving the usual no-slip condition in conjunction with the specification of the vorticity. A comparison of results obtained with those given in other work where a different set of BCs was used is presented. In addition, special/limiting cases of the solution, including those which correspond to other fluid models, are examined and analytical and numerical results are given. 2003, 2003(Special): 469-476 doi: 10.3934/proc.2003.2003.469 +[Abstract](928) +[PDF](183.9KB) Abstract: We investigate the asymptotic stability of a stationary solution to an initial boundary value problem for a 2-dimensional viscous conservation law in half plane. Precisely, we show that under suitable boundary and spatial asymptotic conditions, a solution converges to the corresponding stationary solution as time tends to infinity. The proof is based on an a priori estimate in the$H^2$-Sobolev space, which is obtained by a standard energy method. In this computation, we utilize the Poincaré type inequality. In addition, we obtain a convergence rate under the assumption that the initial data converges to a spatial asymptotic state algebraically fast. This result is obtained by a weighted energy estimate. 2003, 2003(Special): 477-481 doi: 10.3934/proc.2003.2003.477 +[Abstract](895) +[PDF](137.9KB) Abstract: We determine conservation laws for a class of soil water equations and associate these, where possible, with Lie symmetry generators. One cannot invoke Noether’s theorem here as there is no Lagrangian for these equations. We also obtain exact solutions for such a class of equations. These solutions are invariant under a three-dimensional subalgebra of the symmetry Lie algebra. 2003, 2003(Special): 482-491 doi: 10.3934/proc.2003.2003.482 +[Abstract](868) +[PDF](190.8KB) Abstract: The foundations of weak turbulence theory is explored through its application to the (alpha) Fermi-Pasta-Ulam (FPU) model, a simple weakly nonlinear dispersive system. A direct application of the standard kinetic equations would miss interesting dynamics of the energy transfer process starting from a large-scale excitation. This failure is traced to an enforcement of the exact resonance condition, whereas mathematically the resonance should be broadened due to the energy transfer happening on large but finite time scales. By allowing for the broadened resonance, a modified three-wave kinetic equation is derived for the FPU model. This kinetic equation produces some correct scaling predictions about the statistical dynamics of the FPU model, but does not model accurately the detailed evolution of the energy spectrum. The reason for the failure seems not to be one of the previously clarified reasons for breakdown in the weak turbulence theory. 2003, 2003(Special): 492-500 doi: 10.3934/proc.2003.2003.492 +[Abstract](909) +[PDF](176.8KB) Abstract: We discuss the concept of the quantum action with the purpose to characterize and quantitatively compute quantum chaos. As an example we consider in quantum mechanics a 2-D Hamiltonian system - harmonic oscillators with anharmonic coupling - which is classically a chaotic system. We compare Poincaré sections obtained from the quantum action with those from the classical action. 2003, 2003(Special): 501-506 doi: 10.3934/proc.2003.2003.501 +[Abstract](846) +[PDF](161.4KB) Abstract: This paper treats the existence of one or several positive eigenvalues for some nth order differential equations with conjugate boundary conditions. The approach is to employ a well-known result on the existence of positive eigenvalues for Hammerstein integral equations obtained recently by the author. Closed intervals which the eigenvalues belong to are studied and applied to obtain new results on the existence of multiple positive eigenvalues. 2003, 2003(Special): 507-516 doi: 10.3934/proc.2003.2003.507 +[Abstract](906) +[PDF](193.3KB) Abstract: In a previous paper [5] we have proven a geometric formulation of the maximum principle for non-autonomous optimal control problems with fixed endpoint conditions. In this paper we shall reconsider and extend some results from [5] in order to obtain the maximum principle for optimal control problems with variable endpoint conditions. We only consider the case where one of the endpoints may vary, whereas the other is kept fixed. 2003, 2003(Special): 517-525 doi: 10.3934/proc.2003.2003.517 +[Abstract](832) +[PDF](194.6KB) Abstract: We consider here the consistency of the KP approximation for a Boussinesq system. We consider the general case of two counterpropagating waves, which do not have to satisfy strong zero mass assumptions. We show that without such strong assumption, the KP approximation is not consistent with the Boussinesq system, but that it is close to a consistent approximation. We give precise consistency results, and also consider the case were no zero mass assumption at all is made. 2003, 2003(Special): 526-535 doi: 10.3934/proc.2003.2003.526 +[Abstract](755) +[PDF](223.0KB) Abstract: We study the effect of non constant coefficients$a$and$b$on the existence and multiplicity of positive solutions for the equation -div$a(x)\nabla u + \lambda u = b|x|^(p-2)$in$\mathbb(R)^N.$2003, 2003(Special): 536-543 doi: 10.3934/proc.2003.2003.536 +[Abstract](841) +[PDF](181.0KB) Abstract: It is proven that there exist exponential attractors for dynamical systems defined by a general chemotaxis system defined on a domain of arbitrary dimension$n$. 2003, 2003(Special): 544-553 doi: 10.3934/proc.2003.2003.544 +[Abstract](974) +[PDF](180.3KB) Abstract: n/a 2003, 2003(Special): 554-562 doi: 10.3934/proc.2003.2003.554 +[Abstract](1096) +[PDF](180.3KB) Abstract: The synchronization properties of a pair of oscillating spiking neurons connected by electrical (diffusive) coupling is considered. The intrinsic behavior of the cells is described by the non-leaky integrate-and-fire model with a simple modification to account for the effect of spikes. Dynamics of the two-cell system are reduced to the consideration of a one-dimensional map. Periodic orbits of the map correspond to phase-locked solutions of the paired-cell system. The bifurcation structure of the map and therefore the phase-locked states in the two-cell system are analyzed. It is shown that increasing the effect of the spikes and increasing the intrinsic frequency of the cells promote synchronous activity. However, in some conditions, increasing the strength of electrical coupling can counter-intuitively lead to the destabilization of synchronous activity and the stabilization of the anti-phase state. 2003, 2003(Special): 563-570 doi: 10.3934/proc.2003.2003.563 +[Abstract](910) +[PDF](167.4KB) Abstract: We study a class of quasilinear parabolic equations with nonlocal initial conditions. The initial conditions are a generalization of periodicity with respect to time and include conditions studied by other authors, which can be used to study inverse problems and problems arising in reactor theory. 2003, 2003(Special): 571-579 doi: 10.3934/proc.2003.2003.571 +[Abstract](1103) +[PDF](164.5KB) Abstract: Fisher's (1930) maximum principle in ecology states that \Any net advantage gained by an organism will be conserved in the form of an increase in population, rather than in an increase in the average Malthusian parameter, which is kept by this adjustment always near zero." We know today that we cannot make such general statements. Nevertheless, several ecologists, including Nicholson (1960), have stressed this principle as a general ecological principle. Based on a number of theoretical counterexamples, we cannot conclude that this principle is not supported by any essential biological facts. This paper examines simple examples that illustrate when the principle is valid. We use a discrete modeling approach to account for the fact that several boreal populations are constrained to reproduce at well-defined discrete moments. Several authors have pointed out that the above maximum principle ceases to be valid when predation is present. With reference to the Ricker competition case, we suggest how the principle could be reformulated so as to cover that case. 2003, 2003(Special): 580-589 doi: 10.3934/proc.2003.2003.580 +[Abstract](884) +[PDF](204.6KB) Abstract: We consider a family of scalar delay differential equations$x'(t) = f(t, x_t)$, with a nonlinearity$f$satisfying a negative feedback condition combined with a boundedness condition. We present a global stability criterion for this family, which in particular unifies the celebrated 3/2-conditions given for the Yorke and the Wright type equations. We illustrate our results with some applications. 2003, 2003(Special): 590-595 doi: 10.3934/proc.2003.2003.590 +[Abstract](870) +[PDF](168.8KB) Abstract: This paper presents rigorous proofs of the asymptotic solutions of a nonlinear ordinary equation,$\epsilon n f^(iv) = (f-2\epsilon) f''' - f' f''$subject to boundary conditions:$f(0) = 0, f(1) = 1, f'(1) = 0, lim_(n \to 0^+) sqrtn f''(n)=0.$2003, 2003(Special): 596-603 doi: 10.3934/proc.2003.2003.596 +[Abstract](801) +[PDF](206.6KB) Abstract: An investigation of classical chaos and quantum chaos in gauge fields and fermion fields, respectively, is presented for (quantum) electrodynamics. We analyze the leading Lyapunov exponents of U(1) gauge field configurations on a$12^3$lattice which are initialized by Monte Carlo simulations. We find that configurations in the strong coupling phase are substantially more chaotic than in the deconfinement phase. Considering the quantum case, complete eigenvalue spectra of the Dirac operator in quenched$4d$compact QED are studied on$8^3 \times 4$and$8^3 \times 6$lattices. We investigate the behavior of the nearest-neighbor spacing distribution$P(s)$as a measure of the fluctuation properties of the eigenvalues in the strong coupling and the Coulomb phase. In both phases we find agreement with the Wigner surmise of the unitary ensemble of random-matrix theory indicating quantum chaos. 2003, 2003(Special): 604-609 doi: 10.3934/proc.2003.2003.604 +[Abstract](1125) +[PDF](108.7KB) Abstract: The well-known J. Schauder result on the existence of Lip$_\alpha (bar(\Omega))$solutions of the Dirichlet problem for bounded domains with smooth boundaries is true for the Helmholtz equation$\Delta u + \lambda u = 0$for$\lambda =< 0$. We suggest a method of constructing the solution based on an averaging procedure and mean-value theorem. We show some conditions under which, for$0 < \alpha < 1$, and$\lambda =< 0$, a sequence of iterated averages of an initial approximation converges geometrically to the solution. 2003, 2003(Special): 610-617 doi: 10.3934/proc.2003.2003.610 +[Abstract](1109) +[PDF](2264.7KB) Abstract: The so-called$\mu - \lambda$curves, where$\lambda$is the slip ratio and$\mu$is the normalised traction force or the friction index, are nonlinear functions of the velocity of the vehicle and the wheel rotational velocity. Despite their predominant use in the literature, linear approximations of such curves may fail to predict correctly key characteristics of vehicle performance efficiency such as torque-speed profiles. Although attempts to model these characteristics in the context of slip phenomena have been made before, to our best knowledge a general model with respect to the vehicle velocity, the wheel rotating velocity, the slip ratio, the traction force, and the torque, has never been formulated and solved as a coupled nonlinear problem based on a system of differential-algebraic equations arising naturally in this context. In this paper, such a model is formulated, solved numerically, and some results of numerical simulation of driving an electric vehicle on different surface conditions are presented. 2003, 2003(Special): 618-622 doi: 10.3934/proc.2003.2003.618 +[Abstract](984) +[PDF](162.6KB) Abstract: In the paper a martingale problem approach is used to analyze the problem of existence and topological properties of optimal weak solutions to stochastic differential inclusions of Ito type with convex integrands. 2003, 2003(Special): 623-629 doi: 10.3934/proc.2003.2003.623 +[Abstract](830) +[PDF](162.3KB) Abstract: We construct a nonstandard finite difference scheme for the two coupled ODE's that model glycolysis. The primary emphasis is having the scheme satisfy a positivity condition and also retain the limit-cycle behavior for certain values of the parameters. We show that this is possible and give a full discussion of the scheme along with some of its numerical properties. 2003, 2003(Special): 630-637 doi: 10.3934/proc.2003.2003.630 +[Abstract](867) +[PDF](162.9KB) Abstract: Our aim in this article is to study the existence of solutions for a system of equations which arises in the context of phase transitions in binary alloys. 2003, 2003(Special): 638-646 doi: 10.3934/proc.2003.2003.638 +[Abstract](750) +[PDF](178.5KB) Abstract: We give a decomposition formula for the L-function of a semiregular bipartite graph G. Furthermore, we present the Selberg trace formula for the above L-function of G. 2003, 2003(Special): 647-655 doi: 10.3934/proc.2003.2003.647 +[Abstract](935) +[PDF](181.8KB) Abstract: We give constructive proof of the existence of square integrable solutions for a class of$n$-th order nonlinear differential equations and discuss properties of square integrable solutions, obtaining as by-products an efficient estimate for the rate of decay of the$L^2$norm of the solution and the nonexistence result due to Grammatikopoulos and Kulenovic [On the nonexistence of$L^2$-solutions of$n$-th order differential equations, Proc. Edinburgh Math. Soc. (2) 24 (1981), 131–136]. 2003, 2003(Special): 656-663 doi: 10.3934/proc.2003.2003.656 +[Abstract](866) +[PDF](161.5KB) Abstract: Dynamic feedback neural networks are known to present powerful tools in modeling of complex dynamic models. Since in many real applications, the stability of such models (specially in presence of noise) is of great importance, it is essential to address stochastic stability of such models. In this paper, sufficient conditions for stochastic stability of two families of feedback sigmoid neural networks are presented. These conditions are set on the weights of the networks and can be easily tested. 2003, 2003(Special): 664-671 doi: 10.3934/proc.2003.2003.664 +[Abstract](976) +[PDF](178.1KB) Abstract: The$v$-principal configuration of an immersed surface$M$in$\mathbb(R)^4$is the set formed by the umbilical points and the lines of principal curvatures with respect to an unitary smooth vector field$v$normal to$M$. In this article we describe the bifurcation set of$v$-principal configurations of a local surface$M$depending on two parameters of the surface and depending also on the 1-jet of the vector field$v$normal to$M$which defines an isolated simple umbilical point of$M$. 2003, 2003(Special): 672-677 doi: 10.3934/proc.2003.2003.672 +[Abstract](846) +[PDF](168.1KB) Abstract: We are concerned with the differential equation$x'(t) = Ax(t) + f(t)$with a linear operator$A$acting in a Banach space$X$and$f : \mathbb(R) \to X$a almost periodic function (in Bochner’s sense). We give necessary conditions to ensure that the so-called optimal mild solutions are also weakly almost periodic. 2003, 2003(Special): 678-687 doi: 10.3934/proc.2003.2003.678 +[Abstract](730) +[PDF](183.6KB) Abstract: We extend Grigrochuk’s cogrowth criterion for amenability of groups to the case of non-regular graphs for which a certain regularity condition is satisfied. The proof involves generalized Laplacians which are inverses of growth series and whose determinants are closely related to zeta functions of graphs. 2003, 2003(Special): 688-693 doi: 10.3934/proc.2003.2003.688 +[Abstract](791) +[PDF](176.4KB) Abstract: The Neumann boundary value problem is examined for systems of elliptic equations of the form$\Delta u + g(u) = f(x), x \in \omega.$It is assumed that$g \in 2 C(\mathbb(R)^N,\mathbb(R)^N)$is a bounded function which may vanish at infinity. Leray-Schauder degree methods are used. 2003, 2003(Special): 694-700 doi: 10.3934/proc.2003.2003.694 +[Abstract](833) +[PDF](159.7KB) Abstract: We prove the generalized Hyers-Ulam-Rassias stability of a linear functional equation in Banach modules over a unital C*-algebra. 2003, 2003(Special): 701-708 doi: 10.3934/proc.2003.2003.701 +[Abstract](884) +[PDF](202.5KB) Abstract: We discuss an application of a topological-numerical method for proving the existence of a periodic trajectory in a smooth dynamical system in$\mathbb(R)^n$where a periodic trajectory is numerically observed. The method is based on the Conley index theory and rigorous numerics for ODEs and it is a generalization of the method introduced in [13]. We apply this method to the Rössler equations. 2003, 2003(Special): 709-716 doi: 10.3934/proc.2003.2003.709 +[Abstract](813) +[PDF](184.8KB) Abstract: A class of analytic advanced and delayed differential equations, which are defined in a neighborhood of an initial point, and which are assumed to have formal solutions in terms of power series, is studied. We provide growth conditions whereby the (perhaps non-convergent) formal series solutions can be extended to analytic solutions defined on a sectorial domain with vertex at the initial point. By introducing a new Laplace-Borel kernel, and obtaining estimates on its decay rate, the concept of a Gevrey series is generalized. The class of equations studied includes advanced and delayed initial value problems with polynomial coefficients. Key estimates are shown and an example of a new application is given. 2003, 2003(Special): 717-726 doi: 10.3934/proc.2003.2003.717 +[Abstract](1003) +[PDF](193.9KB) Abstract: We study the generalized logistic equation where the feedback is captured by the time convolution with a nonnegative measure and the diffusion is the laplacian plus the p-laplacian with$p >= 2$. We prove that the equation has an exponential attractor provided that the solutions are asymptotically bounded. 2003, 2003(Special): 727-733 doi: 10.3934/proc.2003.2003.727 +[Abstract](803) +[PDF](195.6KB) Abstract: In this note we are interested in the local regularity of the highest order derivatives of the solutions of the system$T u = fi(y)i = 1,...,N

where the known terms $f_i$ are in Lebesgue spaces and the differential the parabolic operator $T$ has the form

$ut - \sum_{j=1}^{N}\sum_{|\alpha|=2s} a^(\alpha)_(ij) (y)D^(\alpha) u_j (y) + \sum_{j=1}^{N}\sum_{|\alpha|<=2s-1} b^(\alpha)_(ij) (y)D^(\alpha) u_j (y)$.

have discontinuous coefficients.

2003, 2003(Special): 734-741 doi: 10.3934/proc.2003.2003.734 +[Abstract](904) +[PDF](173.5KB)
Abstract:
In this paper we start from the discrete version of linear Hamiltonian systems with periodic coefficients

$_y_(k+1) - _y(_k) = \lambda B(__k)_y(_k) + \lambda D_(k^z_(k+1))$
$_z_(k+1) - _z(_k) = -\lambda A(__k)_y(_k) - \lambda B*_(k^z_(k+1))$

where $A_k$ and $D_k$ are Hermitian matrices, $A_k$, $B_k$, $D_k$ define $N$-periodic sequences, and $\lambda$ is a complex parameter. For this system a Krein-type theory of the $\lambda$-zones of strong (robust) stability may be constructed. Within this theory the side $\lambda$-zones’ width may be estimated using the multipliers’ “traffic rules” of Krein while the central stability zone (centered around $\lambda$ = 0) is estimated using the eigenvalues of a certain boundary value problem which is self-adjoint. In the discrete-time there occur some specific differences with respect to the continuous time case due to the fact that the transition matrix (hence the monodromy matrix also) is not entire with respect to $\lambda$ but rational. During the paper we consider some specific cases (the matrix analogue of the discretized Hill equation, the J-unitary and symplectic systems, real scalar systems) for which the results on the eigenvalues are complete and obtain some simplified estimates of the central stability zones.

2003, 2003(Special): 742-751 doi: 10.3934/proc.2003.2003.742 +[Abstract](1050) +[PDF](184.7KB)
Abstract:
We consider the problem of determining the optimal profile of doping concentration that minimizes the base transit time in homojunction bipolar transistors. This is a well-studied problem in the electronics literature, but typically only numerical optimization is used to find solutions. In this paper we give an explicit analytic solution to the problem using the Pontryagin Maximum Principle with state-space constraints and prove its optimality using synthesis type arguments.
2003, 2003(Special): 752-759 doi: 10.3934/proc.2003.2003.752 +[Abstract](1037) +[PDF](179.6KB)
Abstract:
We investigate the positive coexistence to certain strongly-coupled nonlinear elliptic systems with self-cross diffusions under homogeneous Robin boundary conditions. Competing interactions between two species are considered. Conditions of the positive coexistence to self-cross diffusive systems can be expressed in terms of the spectral property of differential operators of nonlinear Schrödinger type which reflect the influence of the domain and nonlinearity in the system. Decoupling method and nonlinear fixed point theorem are employed.
2003, 2003(Special): 760-770 doi: 10.3934/proc.2003.2003.760 +[Abstract](1170) +[PDF](175.9KB)
Abstract:
We consider nonlinear boundary value problems arising in the classical one-dimensional calculus of variations for scalar-valued unknown functions. Conditions for the existence of extremals (solutions of the Euler equation subject to related boundary conditions) are obtained and properties of extremals are discussed. The method of upper and lower solutions (functions) is our main tool. Several Bernstein - Nagumo type conditions are derived directly in terms of the Lagrangian. Both coercive and non-coercive (slow-growth) variational problems are considered.
2003, 2003(Special): 771-777 doi: 10.3934/proc.2003.2003.771 +[Abstract](882) +[PDF](153.9KB)
Abstract:
This paper presents a sufficient condition for the global stability of an n-species Lotka-Volterra food chain system with distributed time delays. The result is sharp in the sense that it coincides with a necessary and sufficient condition for global stability when $n = 2$.
2003, 2003(Special): 778-787 doi: 10.3934/proc.2003.2003.778 +[Abstract](861) +[PDF](194.1KB)
Abstract:
We look for homoclinic orbits of the system of differential equations

$- dot(q) + L(t)q = V_q(t, q) + g(t)$

where $V : R \times R^N (\to) R$ is superquadratic and even in $q$ and $L(t)$ is a a symmetric, positive definite matrix. If $g(t) != 0$, in spite of the loss of symmetry a suitable perturbative method allows one to state the existence of infinitely many solutions of the problem.

2003, 2003(Special): 788-797 doi: 10.3934/proc.2003.2003.788 +[Abstract](938) +[PDF](193.3KB)
Abstract:
The completed flows of the complex Toda lattice hierarchy are used to compactify an arbitrary isospectral set $J$^ of complex tridiagonal Hessenberg matrices. When the eigenvalues are distinct, this compactification, as found by other authors, is a toric variety; it is the closure of a generic orbit of a complex maximal torus inside a flag manifold. This torus becomes a direct product, A, of a nonmaximal diagonal subgroup and a unipotent group when eigenvalues coincide. We describe the compactification of $J$^ in this case as the closure of a generic orbit of A. We are interested mainly in the structure of its boundary, which is a union of nonmaximal orbits of A. There is a one-to-one correspondence between the connected components of the intersections of $J$^ with the lower-dimensional symplectic leaves and the faces of the moment polytope where at least one vertex is a minimal coset representative of a certain quotient of the Weyl group.
2003, 2003(Special): 798-808 doi: 10.3934/proc.2003.2003.798 +[Abstract](841) +[PDF](195.1KB)
Abstract:
In this paper, an evolution dynamical system, which is generated by one-dimensional Frémond models of shape memory alloys, is considered. Assuming that forcing terms converge to some time-independent terms in appropriate senses as time goes to infinity, we shall characterize the asymptotic stability for our dynamical system by the global attractor for the limiting autonomous dynamical system.
2003, 2003(Special): 809-816 doi: 10.3934/proc.2003.2003.809 +[Abstract](832) +[PDF](171.7KB)
Abstract:
We consider a multi-dimensional dynamical system with a discontinuous delayed part, which is a model of a relay type negative feedback with an uncertain time delay. Our main result consists of a sufficient criterion for an exponential decay of oscillations even when the non-delayed part of the system has no stable solutions.
2003, 2003(Special): 817-826 doi: 10.3934/proc.2003.2003.817 +[Abstract](1131) +[PDF](180.7KB)
Abstract:
A recently proposed mathematical model for turor angiogenesis consists of a coupled system of ordinary and partial differential equations, some of which are strongly convection dominated diffusion equations. A numerical method based on the use of characterics, which is mass conserving, can be used to effectively handle this feature. The model and the numerical method are presented.
2003, 2003(Special): 827-833 doi: 10.3934/proc.2003.2003.827 +[Abstract](829) +[PDF](163.6KB)
Abstract:
We identify a class of differential spaces which contains orbit spaces of proper actions of Lie groups on smooth manifolds. In this class, we prove an existence and uniqueness theorem for integral curves of derivations of smooth functions. We give a necessary and sufficient condition for a derivation to generate a local one parameter group of local diffeomorphisms.
2003, 2003(Special): 834-841 doi: 10.3934/proc.2003.2003.834 +[Abstract](795) +[PDF](212.1KB)
Abstract:
In this paper, we are specially interested in the lamination structure for a polynomial diffeomorphism $f$ of $\mathbb(C)^2$ that are conjugate to a finite decomposition of generalized complex Hènon maps on $\mathbb(C)$. We prove that there are true $f$-invariant contracting and expanding measured Riemann surface laminations–injected into the stable and unstable partitions $W^(s/u)$. Leaves of the laminations are conformally isomorphic to the complex plane $\mathbb(C)$. The new ingredients here are the countable collection of the Pesin boxes and a $\sigma$-finite topology, the ‘entropy topology’ on the transversals, defined by the logarithm of the measures obtained by conditioning the unique ergodic measure of maximal entropy $\mu$.
2003, 2003(Special): 842-851 doi: 10.3934/proc.2003.2003.842 +[Abstract](984) +[PDF](217.3KB)
Abstract:
We study the Earth re-entry problem of a space shuttle where the control is the angle of bank, the cost is the total amount of thermal flux, and the system is subject to state constraints on the thermal flux, the normal acceleration and the dynamic pressure. The optimal solution is approximated by a concatenation of bang and boundary arcs, and is numerically computed using a multiple-shooting code.
2003, 2003(Special): 852-863 doi: 10.3934/proc.2003.2003.852 +[Abstract](1039) +[PDF](197.2KB)
Abstract:
A model is introduced for the dynamic combustion of exothermically reacting, compressible fluids formulated by the Navier-Stokes equations expressing the conservation of mass, the balance of momentum and energy and the two species chemical kinetics. The global existence of the discontinuous solutions to the Navier- Stokes equations with large discontinuous initial data is established by combining the difference approximations techniques and energy estimates. The asymptotic analysis of solutions is also discussed.
2003, 2003(Special): 864-871 doi: 10.3934/proc.2003.2003.864 +[Abstract](816) +[PDF](187.0KB)
Abstract:
We consider a Cellular Neural Network (CNN), with a bias term, on the integer lattice $Z^2$ in the plane $R^2$. A space-dependent, asymmetric coupling (template) appropriate for CNN on the hexagonal lattice on $R^2$ is studied. We characterize the mosaic patterns and study their spatial entropy. Asymmetry of the template has a decisive effect on spatial entropy for all known results.
2003, 2003(Special): 872-879 doi: 10.3934/proc.2003.2003.872 +[Abstract](899) +[PDF](172.9KB)
Abstract:
We study a two-species reaction-diffusion problem described by a system consisting of a semilinear parabolic equation and a first order ordinary differential equation, endowed with suitable conditions. We prove the existing of a unique traveling wave profile and give necessary conditions and sufficient conditions for the occurrence of penetration and conversion fronts.
2003, 2003(Special): 880-887 doi: 10.3934/proc.2003.2003.880 +[Abstract](779) +[PDF](153.4KB)
Abstract:
The primitive equations (PEs) of large-scale oceanic flow formulated in mean vorticity is proposed. In the reformulation of the PEs, the prognostic equation for the horizontal velocity is replaced by evolutionary equations for the mean vorticity field and the vertical derivative of the horizontal velocity. The total velocity field (both horizontal and vertical) is statically determined by differential equations at each fixed horizontal point. Its equivalence to the original formulation is also presented.
2003, 2003(Special): 888-897 doi: 10.3934/proc.2003.2003.888 +[Abstract](782) +[PDF](184.9KB)
Abstract:
A mathematical model for viscous compressible realistic reactive flows without species diffusion in dynamic combustion is investigated. The initial-boundary value problem with Dirichlet-Neumann mixed boundaries in a finite domain is studied. The existence, uniqueness, and regularity of global solutions are established with general large initial data in $H^1$. It is proved that, although the solutions have large oscillations and the chemical reaction generates heat, there is no shock wave, turbulence, vacuum, mass or heat concentration developed in a finite time.
2003, 2003(Special): 898-904 doi: 10.3934/proc.2003.2003.898 +[Abstract](1238) +[PDF](174.7KB)
Abstract:
Recently, Valiant’s Probably Approximately Correct (PAC) learning theory has been extended to learning m-dependent data. With this extension, training data set size for sigmoid neural networks have been bounded without underlying assumptions for the distribution of the training data. These extensions allow learning theory to be applied to training sets which are definitely not independent samples of a complete input space. In our work, we are developing length independent measures as training data for protein classification. This paper applies these learning theory methods to the problem of training a sigmoid neural network to recognize protein biological activity classes as a function of protein primary structure. Specifically, we explore the theoretical training set sizes for classifiers using the full amino acid sequence of the protein as the training data and using length independent measures as the training data. Results show bounds for training set sizes given protein size limits for the full sequence input compared to bounds for input that is sequence length independent.
2003, 2003(Special): 905-915 doi: 10.3934/proc.2003.2003.905 +[Abstract](855) +[PDF](174.9KB)
Abstract:
We investigate constants that appear in the study of positive solutions of some nonlocal boundary value problems with a view to obtaining optimal values. We succeed for each of two problems and see that the 'natural' choice is not optimal.
2003, 2003(Special): 916-925 doi: 10.3934/proc.2003.2003.916 +[Abstract](774) +[PDF](186.1KB)
Abstract:
We study the IBVP for a class of linear relaxation systems in a half space with arbitrary space dimensions. The goal is to determine the appropriate structural stability conditions, particularly, the formulation of boundary conditions such that the relaxation IBVP is stiffly well-posed or uniformly well-posed independent of the relaxation parameter. Our main contribution is the derivation, in an explicit and easily checkable form, of a stiff version of the classical Uniform Kreiss Condition (and hence referred to as Stiff Kreiss Condition). The Stiff Kreiss Condition is shown to be necessary and su±cient for the stiff well-posedness of the relaxation IBVP and its asymptotic convergence to the underlying equilibrium system in the zero relaxation limit.
2003, 2003(Special): 926-934 doi: 10.3934/proc.2003.2003.926 +[Abstract](855) +[PDF](184.3KB)
Abstract:
In this paper the existence of periodic solutions of large norm for the super-quadratic second order dynamical systems $A dot(x) = - \nabla V (x)$ is proved. And some results for forced systems are also gained.
2003, 2003(Special): 935-944 doi: 10.3934/proc.2003.2003.935 +[Abstract](960) +[PDF](180.6KB)
Abstract:
In this paper we consider double obstacle problems including regional economic growth models. Unfortunately, by prescribed double obstacles, our problems lose the uniqueness of solutions. So, our problems have multiple solutions for a given initial value. Hence, the associated dynamical systems are multivalued. In this paper we shall consider the large-time behaviour of multiple solutions from the viewpoint of attractors. Namely, the main object of this paper is to construct the global attractors for non-autonomous multivalued dynamical systems associated with double obstacle problems.
2003, 2003(Special): 945-950 doi: 10.3934/proc.2003.2003.945 +[Abstract](999) +[PDF](151.2KB)
Abstract:
This paper provides a model of investment project in a dynamic competitive environment and values the system. The option value of the investment is modelled as a solution of a stochastic differential equation with free boundary through a combination of real option approach as well as dynamic investing analysis. The optimal investment rule is the free boundary of the equation, $p$*, such that the firm invests at once when $p \>= p$* and waits when $p < p$*. The result shows how uncertainty in project and competitive pressure of a rival affect the value of the project and firm’s investment behavior. The results imply that the investment option value of following investor will be valueless when the research effort intensity of the leader investor is larger enough. The results demonstrate that the model can be applied as an extension from those discussing value of real options for a non -competitive environment.
2003, 2003(Special): 951-959 doi: 10.3934/proc.2003.2003.951 +[Abstract](1006) +[PDF](697.3KB)
Abstract:
In this paper we focus on using a solution filtering technique as an alternative to the conventional large-eddy simulation approach of filtering the governing equations. Our research shows that the solution filtering technique works quite well when applied to Burgers' equation, and since this equation embodies many important mathematical features of the Navier-Stokes equations, the solution filtering technique possesses significant potential for solving practical turbulence problems governed by these equations.
2003, 2003(Special): 960-966 doi: 10.3934/proc.2003.2003.960 +[Abstract](773) +[PDF](186.4KB)
Abstract:
We prove that the spatio-temporal topological entropy (= the topological entropy per unit volume) is equal to zero for formally gradient reaction-diffusion systems in $\mathbb(R)^n$. This result generalizes the well-known fact that gradient ODEs have zero topological entropy.
2003, 2003(Special): 967-976 doi: 10.3934/proc.2003.2003.967 +[Abstract](1004) +[PDF](195.9KB)
Abstract:
In nonholonomic dynamics, symmetries do not always lead to conservation laws. In this paper we study conditions for a nonholonomic system with symmetry to have conservation laws linear in momentum.