ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (15,499)
  • Oxford University Press  (15,499)
  • 2020-2024  (7)
  • 2010-2014  (7,259)
  • 1990-1994  (3,424)
  • 1985-1989  (3,353)
  • 1950-1954  (1,456)
  • Mathematics  (15,499)
Collection
  • Articles  (15,499)
Years
Year
  • 1
    Publication Date: 2021-10-28
    Description: Point vortex systems that include vortices with constant coordinate functions are largely unexplored, even though they have reasonable physical interpretations in the geophysical context. Here, we investigate the dynamical aspects of the restricted three-vortex problem when one of the point vortices is assumed to be fixed at a location in the plane. The motion of the passive tracer is explored from a rotating frame of reference within which the free vortex with non-zero circulation remains stationary. By using basic dynamical system theory, it is shown that the vortex motion is always bounded, and any configuration of the three vortices must go through at least one collinear state. The present analysis reveals that any non-relative equilibrium solution of the vortex system either has periodic inter-vortex distances or it will asymptotically converge to a relative equilibrium configuration. The initial conditions required for different types of motion are explained in detail by exploiting the Hamiltonian structure of the problem. The underlying effects of a fixed vortex on the motion of vortices are also explored.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2021-10-29
    Description: Electroless plating in microfluidic channels is a novel technology at the micrometer scale. As the microchannel depth varies with the flow of the chemicals, care must be taken for the channel not to run dry. Owing to the deposited chemical species the physical domain of the flow changes with time, leading to a free boundary problem. As the motion of the free boundary is small it is modelled by a transpiration approximation. With this simplification, the mathematical model consists of a Navier–Stokes flow and an equation for the concentration of the plating chemical coupled by nonstandard and nonlinear boundary conditions. Existence and uniqueness are proved for the concentration equation, assuming that the flow is given. Numerical analysis is carried out and justifies the proposed numerical schemes and the nonlinear algorithms. The numerical study is performed, in the two-dimensional case, with the finite element method and an implicit Euler time scheme for the coupled problem with the Navier–Stokes flow and the nonlinear concentration equation.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2021-10-27
    Description: We prove quartic convergence of cubic spline interpolation for curves into Riemannian manifolds as the grid size of the interpolation grid tends to zero. In contrast to cubic spline interpolation in Euclidean space, where this result is classical, the interpolation operator is no longer linear. Still, concepts from the linear setting may be generalized to the Riemannian case, where we try to use intrinsic Riemannian formulations and avoid charts as much as possible.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2021-10-29
    Description: The 2019/20 Level 4 mathematics cohort at the Nottingham Trent University sat a full set of mid-year assessments in January 2020 under completely normal circumstances. However, the Covid-19 lockdown meant that their end of year assessments, along with all of their teaching and learning from March 2020 onwards, moved fully online. This has given us a unique opportunity to understand how the same cohort perform in contrasting situations. In this study we consider the issue of attainment gaps and find that the attainment gap closed in this cohort for black and minority ethnic students but that students from a lower socio-economic background may have been put at a disadvantage by the move to online teaching, learning and assessment. We use a linear mixed effect models approach to present statistical evidence to support these two claims as well as investigating the specific aspects of the move online, which may have caused these results.
    Print ISSN: 0268-3679
    Electronic ISSN: 1471-6976
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Publication Date: 2021-10-26
    Description: This paper is concerned with the numerical solution of the Maxwell–Schrödinger system under the temporal gauge, which describes light–matter interactions. We first propose a semidiscrete finite element scheme for the system and establish stability estimates for the finite element solution. Due to the lack of control over its divergence we cannot get $extbf{H}^{1}$  $a ;priori$ estimates for the vector potential, making it difficult to obtain error estimates by usual techniques. We apply an exhaustion argument to overcome this difficulty and derive error estimates for the finite element approximation. An energy-conserving time-stepping scheme is proposed to solve the semidiscrete system.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Publication Date: 2021-10-26
    Description: We evidence English teacher and student perspectives on the learning of pre-university mathematics ‘A Level’ courses through the pandemic period to July 2021. Data are drawn from a 2017–21 classroom-close study of enactment of such courses in 13 fairly representative centres, using an institutional ethnographic approach. The pandemic picture was generally one of the significant and sustained negative impacts, though over the course of the study, respondents reported progress in addressing early limitations in the harnessing of digital platforms for learning. A small number of participating students reported home-based study beneficial for their mathematics learning, and a bigger group identified some wider benefits that partly offset the challenges. Most participating 16–18-year-old students, though, reported finding remote learning of mathematics both demanding and limiting. Pandemic constraints impacted most strongly on opportunities to engage with newer emphases within A Level courses: problem solving, reasoning, modelling, statistics and mechanics. Receiving academics reported that mathematical preparedness, and confidence, for mathematics-intense university courses has also been widely affected, with a bigger range of preparedness and confidence than usual. The study draws attention to the importance of studying subject-specific impact and drawing on student as well as teacher perceptions. It exposes a range of consequences of the cancellation of examinations and a need to develop and share effective pedagogies for working remotely with pre-university students.
    Print ISSN: 0268-3679
    Electronic ISSN: 1471-6976
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2021-10-29
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2014-12-17
    Description: We give a bordism-theoretic characterization of those closed almost contact $(2q{+ }1)$ -manifolds (with $q\geq 2$ ) that admit a Stein fillable contact structure. Our method is to apply Eliashberg's $h$ -principle for Stein manifolds in the setting of Kreck's modified surgery. As an application, we show that any simply connected almost contact 7-manifold with torsion-free second homotopy group is Stein fillable. We also discuss the Stein fillability of exotic spheres and examine subcritical Stein fillability.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2014-12-17
    Description: Casson-type invariants emerging from Donaldson theory over certain negative-definite four-manifolds were recently suggested by Teleman. These are defined by an algebraic count of points in a zero-dimensional moduli space of flat instantons. Motivated by the cobordism programme of proving Witten's conjecture, we use a moduli space of ${\rm PU}(2)$ Seiberg–Witten monopoles to exhibit an oriented one-dimensional cobordism of the instanton moduli space to the empty space. The Casson-type invariant must therefore vanish.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Publication Date: 2014-12-17
    Description: The dynamical and stationary behaviors of a fourth-order equation in the unit ball with clamped boundary conditions and a singular reaction term are investigated. The equation arises in the modeling of microelectromechanical systems and includes a positive voltage parameter $\lambda$ . It is shown that there is a threshold value $\lambda _* 〉 0$ of the voltage parameter such that no radially symmetric stationary solution exists for $\lambda 〉 \lambda _* $ , while at least two such solutions exist for $\lambda \in (0,\lambda _* )$ . Local and global well-posedness results are obtained for the corresponding hyperbolic and parabolic evolution problems as well as the occurrence of finite time singularities when $\lambda 〉 \lambda _* $ .
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Publication Date: 2014-12-17
    Description: Assuming the generalized Riemann hypothesis, we prove a quantitative estimate for the number of simple zeros on the critical line for $L$ -functions attached to classical holomorphic newforms.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Publication Date: 2014-12-17
    Description: In this paper, we consider a $\mathbb {Q}$ -Fano $3$ -fold weighted complete intersection of codimension $2$ in the $85$ families listed in Iano-Fletcher's list and determine which cycle is a maximal center or not. For each maximal center, we construct either a birational involution which untwists the maximal singularity or a Sarkisov link centered at the cycle to another explicitly described Mori fiber space. As a consequence, nineteen families are proved to be birationally rigid and the remaining $66$ families are proved to be birationally non-rigid.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Publication Date: 2014-12-05
    Description: An improved Weiszfeld algorithm, termed the fortified Weiszfeld algorithm, for the solution of the single facility Weber problem with Euclidean distances is proposed. The new approach is based on a parabolic approximation of the objective function and testing demand points for optimality. Computational experiments show the superiority of the fortified approach to the original Weiszfeld algorithm.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Publication Date: 2014-12-05
    Description: This paper presents a semi-parametric method for bootstrapping non-stochastic estimates of Malmquist indices and the second-stage regressions with a coherent data-generating process (DGP) for panel data. It emphasizes the importance of using censoring techniques instead of truncation in the DGP. To keep the panel structure, the fixed effects censored least square (CLS) method is preferred in the algorithm. Two smoothing processes in the DGP using fixed effects CLSs and cross-sectional censored least absolute deviations are proposed and compared. This semi-parametric bootstrap process can be used to delete artificial correlation amongst the estimated efficiencies in panel data. Although the exposition gives only output-oriented indices, the method can easily be extended to the input-oriented model. Finally, an empirical case study is carried out on Irish dairy farms.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Publication Date: 2014-12-05
    Description: Conventional data envelopment analysis models have been introduced for technologies only with non-negative inputs and outputs. But in real-world applications, we have some outputs and/or inputs which can take negative values. Especially, in some cases both positive and negative data appear simultaneously in output/input data. In this paper, we review and compare the most recent approaches introduced in the literature. Then, with recourse to some numerical examples, we show that present approaches may fail under two main categories in performance analysis: (a) in introducing non-negative efficient targets in the Pareto sense and (b) in introducing a complete efficiency score for the units. Subsequently, we propose a two-phase slack-based measure model which tackles both problems in an aggregated model. An empirical application in banking is used to illustrate the approach.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Publication Date: 2014-12-05
    Description: Operating theatre scheduling is a critical task that directly impacts the efficient delivery of surgical care. In this context, we propose a comprehensive stochastic programming modelling framework which handles the inherent uncertainty characterizing the arrival of emergency patients and the duration of surgery. In particular, three recourse strategies are presented with the aim of modelling different reactive scheduling policies actually adopted by hospital managers. In order to solve realistic-sized instances in a reasonable amount of time, we develop tailored heuristic solution strategies that exploit the problem structure. Computational results obtained on a set of randomly generated problems show the effective impact of the stochastic programming approach and the efficiency of the proposed heuristics.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Publication Date: 2014-01-16
    Description: The matrix method, due to Bibel and Andrews, is a proof procedure designed for automated theorem-proving. We show that underlying this method is a fully structured combinatorial model of conventional classical proof theory.
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Publication Date: 2014-01-16
    Description: Proof search in inference systems such as the sequent calculus is a process of discovery. Once a proof is found, there is often information in the proof which is redundant. In this article we show how to detect and eliminate certain kinds of redundant formulae from a given proof, and in particular in a way which does not require further proof search or any rearrangement of the proof found. Our technique involves adding constraints to the inference rules, which are used once the proof is complete to determine redundant formulae and how they may be eliminated. We show how this technique can be applied to propositional linear logic, and prove its correctness for this logic. We also discuss how our approach can be extended to other logics without much change.
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Publication Date: 2014-01-18
    Description: We show that for any compact Lie group G with identity component N and component group W = G / N , the category of free rational G -spectra is equivalent to the category of torsion modules over the twisted group ring H *( BN )[ W ]. This gives an algebraic classification of rational G -equivariant cohomology theories on free G -spaces and a practical method for calculating the groups of natural transformations between them.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Publication Date: 2014-01-18
    Description: We show that the excellence axiom in the definition of Zilber's quasiminimal excellent classes is redundant, in that it follows from the other axioms. This substantially simplifies a number of categoricity proofs.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Publication Date: 2014-01-18
    Description: Iterated commutators of multilinear Calderón–Zygmund operators and pointwise multiplication with functions in bounded mean oscillation are studied in products of Lebesgue spaces. Both strong type and weak end-point estimates are obtained, including weighted results involving the vectors weights of the multilinear Calderón–Zygmund theory recently introduced in the literature. Some better than expected estimates for certain multilinear operators are presented too.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Publication Date: 2014-01-18
    Description: Let X be a projective variety with Q-factorial terminal singularities and let L be an ample Cartier divisor on X . We prove that if f is a birational contraction associated to an extremal ray such that R ·( K X +( n –2) L )〈0, then f is a weighted blow-up of a smooth point. We then classify divisorial contractions associated to extremal rays R such that R ·( K X + rL )〈0, where r is a non-negative integer, and the fibres of f have dimension less than or equal to r +1.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Publication Date: 2014-01-18
    Description: In this paper, we use the Merkurjev–Suslin theorem to determine the structure of arithmetically significant Galois modules that arise from Kummer theory. Let K be a field of characteristic different from a prime , n be a positive integer, and suppose that K contains the ( n )th roots of unity. Let L be the maximal n -elementary abelian extension of K , and set G =Gal( L | K ). We consider the G -module J colone L x / n and denote its socle series by J m . We provide a precise condition, in terms of a map to H 3 ( G , Z/ n ), determining which submodules of J m –1 embed in cyclic modules generated by elements of J m ; therefore, this map provides an explicit description of J m and J m / J m –1 . The description of J m / J m –1 is a new non-trivial variant of the classical Hilbert's Theorem 90. The main theorem generalizes a theorem of Adem, Gao, Karaguezian and Minác that deals with the case m = n =2, and also ties in with current trends in minimalistic birational anabelian geometry over essentially arbitrary fields.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Publication Date: 2014-01-21
    Description: The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo , devoted to computing in Algebraic Topology. In this article we report on a complete formal proof of the underlying Eilenberg–Zilber theorem , using the ACL2 theorem prover. As our formalization is executable, we are able to compare the results of the certified programme with those of Kenzo on some universal examples. Since the results coincide, the reliability of Kenzo is reinforced. This is a new step in our long-term project towards certified programming for Algebraic Topology.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Publication Date: 2014-01-21
    Description: Software agents can be members of different institutions along their life; they might even belong to different institutions simultaneously. For these reasons, agents need capabilities that allow them to determine the repercussion that their actions would have within the different institutions. This association between the physical word, in which agents' interactions and actions take place, and the institutional world is defined by means of constitutive norms. Currently, the problem of how agents reason about constitutive norms has been tackled from a theoretical perspective only. Thus, there is a lack of more practical proposals that allow the development of software agents capable of reasoning about constitutive norms. In this article we propose an information model, knowledge representation and an inference mechanism to enable Belief-Desire-Intention agents to reason about the consequences of their actions on the institutions and making decisions accordingly. Specifically, the information model, knowledge representation and inference mechanism proposed in this article allows agents to keep track of the institutional state given that they have a physical presence in some real-world environment. Agents have a limited and not fully believable knowledge of the physical world (i.e. they are placed in an uncertain environment). Therefore, our proposal also deals with the uncertainty of the environment.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2014-01-21
    Description: Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (non-empty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality–which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are ‘lifted’ to complex vector spaces, then the mathematical framework of quantum mechanics (QM) is obtained. Partition logic models the indefiniteness of QM while subset logic models the definiteness of classical physics. Hence partition logic may provide the backstory so the old idea of ‘objective indefiniteness’ in QM can be fleshed out to a full interpretation of quantum mechanics. In that case, QM will be the ‘killer application’ of partition logic.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Publication Date: 2014-01-21
    Description: In this article, we present several results concerning the deep interconnection between systems of spheres and epistemic entrenchment relations, which, in a certain sense, complete the studies on this subject that have been presented in [Peppas and Williams (1995, Notre Dame J. Formal Logic , 36, 120–133); Hansson (1999); Rott and Pagnucco (1999, J. Philosophical Logic , 28, 501–547)]. The main contributions of this work are the following: First we prove that the condition used in Hansson (1999) to define an epistemic entrenchment relation by means of a system of spheres is a necessary and sufficient condition for two such structures to give rise to the same contraction function. Afterwards, we show in a direct way that such condition is equivalent to the one presented in Peppas and Williams (1995, Notre Dame J. Formal Logic , 36, 120–133) as a necessary and sufficient condition for an epistemic entrenchment relation and a system of spheres to yield the same revision function. Moreover, we show, by means of a constructive proof, that for any epistemic entrenchment relation there is a system of spheres such that the mentioned condition holds. We notice yet that, by combining some of those results, we obtain a direct and constructive proof for the well-known fact that the class of system of spheres-based contractions coincides with the class of epistemic entrenchment-based contractions, which differs from all the other proofs so far provided in the literature for that fact.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2014-01-21
    Description: We seek a better understanding of why an inferential semantics devised by Tor Sandqvist yields full classical logic, by providing and analysing a direct proof via a suitable maximality construction.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2014-01-21
    Description: Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic is obtained by adding first-order machinery to propositional hybrid logic, or equivalently, by adding hybrid-logical machinery to first-order modal logic. In this short paper we introduce first-order hybrid logic and we give a survey of work in the area.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Publication Date: 2014-01-21
    Description: In this article we present different applications of the ultraproduct construction in fuzzy predicate logics. Under the assumptions either of the existence of a measurable cardinal or that the MTL-algebra is finite, we show that basic properties of fuzzy structures are preserved under ultraproducts, we prove that ultraproducts of safe (exhaustive, witnessed) models are safe (exhaustive, witnessed, respectively). Finally, we show that, in the case of finite MTL-algebras, ultraproducts can be used to give an algebraic proof of the Compactness Theorem and a Characterization Theorem for Elementary Classes.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Publication Date: 2014-01-21
    Description: Lukasiewicz 3-valued logic L3 is often understood as the set of all valid formulas according to Lukasiewicz 3-valued matrices ML3. Following Wojcicki, in addition, we shall consider two alternative interpretations of L3: ‘truth-preserving’ L3a and ‘well-determined’ L3b defined by two different consequence relations on the 3-valued matrices ML3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Lukasiewicz 3-valued logic: L3, L3a and L3b.
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2014-01-21
    Description: Tarski's theorem essentially says that the Liar paradox is paradoxical in the minimal reflexive frame. We generalize this result to the Liar-like paradox α for all ordinal α ≥ 1. The main result is that for any positive integer n = 2 i (2 j +1), the paradox n is paradoxical in a frame iff this frame contains at least a cycle the depth of which is not divisible by 2 i +1 ; and for any ordinal α ≥ , the paradox α is paradoxical in a frame iff this frame contains at least an infinite walk that has an arbitrarily large depth. We thus get that n has a degree of paradoxicality no more than m iff the multiplicity of 2 in the (unique) prime factorization of n is no more than that in the prime factorization of m ; and all tranfinite α has the same degree of paradoxcality but has a higher degree of paradoxicality than any n .
    Print ISSN: 1367-0751
    Electronic ISSN: 1368-9894
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Publication Date: 2014-01-23
    Description: In contrast to scalar Riemann–Hilbert problems, a general matrix Riemann–Hilbert problem cannot be solved in terms of Sokhotskyi–Plemelj integrals. As far as the authors know, the exact solutions are known for a class of homogeneous matrix Riemann–Hilbert problems with commutative and factorable kernels. This article considered matrix Riemann–Hilbert problems in which all the partial indices are zero and the logarithms of the components of the kernels and their non-homogeneous vectors are exponential-type (equivalently, band-limited) functions. Then, it develops exact solutions for such matrix Riemann–Hilbert problems. Applications in a class of spectral factorizations and a class of the Wiener–Hopf system of integrations are given.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Publication Date: 2014-01-23
    Description: We study the effect of uncertain conductivity on the electroencephalography (EEG) forward problem. A three-layer spherical head model with different and random-layer conductivities is considered. The randomness is modelled by Legendre polynomial chaos. We perform a sensitivity and correlation analysis of EEG sensors influenced by uncertain conductivity. We addressed the sensitivity analysis at three stages: dipole location and moment averaged out, only the dipole moment averaged out and both fixed. Also two subregions of the brain (cerebrum and cerebellum) are compared. On an average, we observe the least influenced electrodes along the great longitudinal fissure. Also, sensors located closer to a dipole source, are of greater influence to a change in conductivity. The highly influenced sensors were on average located temporal. This was also the case in the correlation analysis. Sensors in the temporal parts of the brain are highly correlated. Whereas the sensors in the occipital and lower frontal regions, though they are close together, are not so highly correlated as in the temporal regions.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Publication Date: 2014-01-23
    Description: Semi-analytical solutions are developed for the diffusive Nicholson's blowflies equation. Both one and two-dimensional geometries are considered. The Galerkin method, which assumes a spatial structure for the solution, is used to approximate the governing delay partial differential equation by a system of ordinary differential delay equations. Both steady-state and transient solutions are presented. Semi-analytical results for the stability of the system are derived and the critical parameter value, at which a Hopf bifurcation occurs, is found. Semi-analytical bifurcation diagrams and phase-plane maps are drawn, which show the initial Hopf bifurcation together with a classical period doubling route to chaos. A comparison of the semi-analytical and numerical solutions shows the accuracy and usefulness of the semi-analytical solutions. Also, an asymptotic analysis for the periodic solution near the Hopf bifurcation point is developed, for the one-dimensional geometry.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Publication Date: 2014-01-23
    Description: The regularity of the four time-harmonic vector fields composing any strong solution of the system obtained from Maxwell's curl equations and the constitutive relations in the interior of an inhomogeneous bianisotropic material are investigated. The results are given as interior Sobolev or Hölder regularity. Possible local C regularity or local analyticity of the four vector fields are discussed, too. Each of these regularity results is obtained under specific conditions on the impressed current densities and on the constitutive parameters of the bianisotropic material considered, but it is shown that such conditions do not significantly limit the coverage of our analysis in terms of applications.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2014-01-23
    Description: A mathematical model is established for a double-stator permanent magnet synchronous motor when voltage-fed with a series capacitor in one circuit. Non-dimensional parameters governing the behaviour of the motor are identified and resonant oscillations investigated. Criteria are given for the motor to be in synchronous running in only one direction of rotation and the maximum torque the motor can develop investigated.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Publication Date: 2014-01-23
    Description: In hydraulic and naval engineering, cavitation is often associated with intense vortical structures. In this paper, we discuss developments associated with solid spheres and bubbles near a tip-vortex and a ring vortex. The first part of the paper reviews the mathematical and numerical development of vortex filament methods and representation of solid spheres and bubbles. Equations of motion are based on the Biot–Savart law and the Kelvin impulse. The classic studies of the motion of a sphere towards and parallel to the vortex axis is extended to consider bubble motion in the presence of a line vortex. The second study is concerned with bubble–vortex ring interaction for both small and large bubble examples. The multipole approach used in this paper compares favourably with the numerical experimental studies of Chahine (1995), ‘Bubble interactions with vortices’, in Fluid Vortices , Kluwer Academic Press, for the prediction of bubble shapes.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Publication Date: 2014-01-16
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Publication Date: 2014-01-16
    Description: Segerberg's Dynamic Deontic Logic is a dynamic logic where among the set of all possible histories those fulfilling the norms are distinguished. An extension of this logic to obligations (respectively permissions and prohibitions) to do an action before a given deadline or during a given time interval is defined. These temporal constraints are defined by events which may have several occurrences (like the obligation to update a given file before midnight). Violations of these kinds of norms are defined in this logical framework.
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Publication Date: 2014-01-16
    Description: In this article we show how to model a range of notions in the context of delegation and revocation applied to security scenarios. We demonstrate how a range of delegation–revocation models and policies may be represented in pictorial form and formally represented in terms of reactive Kripke models and a first-order policy specification language. We translate first-order representations of our reactive Kripke models into an equivalent Answer Set Programming form that enables users to apply flexibly well-defined definitions of predicates to represent their requirements in terms of delegation–revocation policy specification.
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Publication Date: 2014-01-16
    Description: Error-driven ranking algorithms (EDRAs) perform a sequence of slight re-rankings of the constraint set triggered by mistakes on the incoming stream of data. The sequence of rankings entertained by the algorithm (and in particular the final ranking entertained at convergence) depends not only on the grammar the algorithm is trained on, but also on the specific way data are sampled from that grammar and fed to the algorithm. The robust analysis of EDRAs pinpoints at properties of the predicted sequence of rankings that are robust, namely only depend on the target grammar, not on the way the data are sampled from it. This article reviews in detail Tesar and Smolensky's (1998, Linguist Inq. , 29, 229–268.) robust analysis of EDRAs that perform constraint demotion only, but no constraint promotion. This article then develops a new tool for the robust analysis of EDRAs that perform both constraint demotion and promotion. The latter tool is applied to the robust analysis of the EDRA model of the child's early acquisition of phonotactics, through a detailed discussion of restrictiveness on three case studies from Prince and Tesar (2004, Constraints in Phonological Acquisition , 245–291), that crucially require EDRAs that perform both demotion and promotion.
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Publication Date: 2014-01-16
    Description: Modern software systems usually deal with several sorts (types) of data elements simultaneously. Some of these sorts, like integers, booleans, and so on, can be seen as having an immediate, direct nature and therefore are called visible , and they are contrasted with the others, like types of objects (in object-oriented (OO) sense), which are called hidden sorts. A language used to specify such software system has to be heterogeneous. In addition, to reason about such computations, we have to consider k -tuples of formulas (for instance, pairs in equational reasoning). Consequently, a consequence relation used to specify and verify the properties of those systems must relate sorted sets of k -formulas with individual k -formulas. Logics usually employed in this process are called hidden k-logics and are very general in nature: they comprise several classes of logical systems, including the 2-dimensional hidden and standard equational logics, and Boolean logic. In this article, we propose a generalization of the notion of deduction-detachment system for hidden k -logics. We introduce a syntactic notion of translation, which will be used to define an equivalence relation between hidden k -logics. We show that this notion of equivalence preserves some logical properties, namely the deduction-detachment theorem (DDT) and the Craig interpolation property. We also show that if a specifiable hidden k -logic admits the DDT then it admits a presentation whose only inference rules are the generalized modus ponens rules with respect to the deduction-detachment system.
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Publication Date: 2014-01-18
    Description: We study a singular reaction–diffusion system motivated by a dedicated diffusive predator–prey model system devised in the spatially homogeneous case by Courchamp and Sugihara [‘Modelling the biological control of an alien predator to protect island species from extinction’, Ecol. Appl. 9 (1999) 112–123]. The reactive part features a functional response to predation and a singular numerical functional response to predation specifically designed for modelling the introduction of greedy predators into a fragile or insular environment. Under some circumstances, this may lead to finite time quenching of the solution, that is, finite time extinction for both species. The aim of this work is to derive a suitable notion of global (in time) weak solution and to prove that such global weak solutions do exist. The existence part is achieved by approximating the reactive part by a more classical and nonsingular one and then passing to the limit in the resulting reaction–diffusion system. Our first result shows that this limiting process supplies global weak solutions. In the case of equidiffusivities such global weak solutions satisfy a suitable free boundary value problem.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Publication Date: 2014-01-18
    Description: In this short note, we give two simple examples of metric measure spaces containing branching geodesics and satisfying Lott, Sturm and Villani's curvature-dimension condition. In the first example, only geodesics in a subspace of co-dimension 1 can branch. The second one is positively curved in the sense of the curvature-dimension condition. We also discuss related open problems.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Publication Date: 2014-01-18
    Description: On a Henselian valued field ( K , V ), where V is the valuation ring, if the value group contains a convex p -regular subgroup that is not p -divisible, then V is definable in the language of rings. A Henselian valuation ring with a regular non-divisible value group is always 0-definable. In particular, some results of Ax and of Konenigmann are generalized.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Publication Date: 2014-01-18
    Description: For any set of modules S, we prove the existence of precovers (right approximations) for all classes of modules of bounded C-resolution dimension, where C is the class of all S-filtered modules. In contrast, we use infinite-dimensional tilting theory to show that the class of all locally free modules induced by a non--pure-split tilting module is not precovering. Consequently, the class of all locally Baer modules is not precovering for any countable hereditary artin algebra of infinite representation type.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Publication Date: 2014-01-18
    Description: We establish bounds for the representation dimension of skew group algebras and wreath products. Using this, we obtain bounds for the representation dimension of a block of a Hecke algebra of type A , in terms of the weight of the block. This includes certain blocks of group algebras of symmetric groups.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2014-01-18
    Description: We construct an operad in pointed spaces, whose n th space is the n –1-sphere (and call it the sphere operad). All the structure maps are homeomorphisms, so it is a cooperad as well. There is a natural coaction of the sphere operad on S 1 , extending the coaction of the commutative operad.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Publication Date: 2014-01-18
    Description: We show that if X P n –1 is a cubic hypersurface defined over Q by a cubic form that splits off two forms, and n ≥11, then X (Q) is non-empty. The same holds for an ( m 1 , m 2 )-form with m 1 ≥4 and m 2 ≥5.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Publication Date: 2014-01-18
    Description: Given an elliptic curve E over a number field K , the -torsion points E [] of E define a Galois representation . A famous theorem of Serre ( Invent. Math. 15 (1972) 259–331) states that as long as E has no complex multiplication (CM), the map is surjective for all but finitely many . We say that a prime number is exceptional (relative to the pair ( E , K )) if this map is not surjective. Here, we give a new bound on the largest exceptional prime, as well as on the product of all exceptional primes of E . We show in particular that conditionally on the generalized Riemann hypothesis, the largest exceptional prime of an elliptic curve E without CM is no larger than a constant (depending on K ) times log N E , where N E is the absolute value of the norm of the conductor. This answers affirmatively a question of Serre ( Inst. Hautes Études Sci. Publ. Math. (1981) 323–401).
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Publication Date: 2014-01-18
    Description: We fix the lexicographic order on the polynomial ring S = k [ x 1 , ..., x n ] over a ring k . We define , the moduli space of reduced Gröbner bases with a given finite standard set , and its open subscheme , the moduli space of families of # points whose attached ideal has the standard set . We determine the number of irreducible and connected components of the latter scheme; we show that it is equidimensional over Spec k ; and we determine its relative dimension over Spec k . We show that analogous statements do not hold for the scheme . Our results prove a version of a conjecture by Bernd Sturmfels.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Publication Date: 2014-01-18
    Description: Let f be a function in the Zygmund class in the euclidean space. It is proved that the Hausdorff dimension of the set of points where f has bounded divided differences, is bigger or equal to one. Furthermore, if f is in the Small Zygmund class, then the Hausdorff dimension of the set of points where f is differentiable, is bigger or equal to one. The sharpness of these results is also discussed.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Publication Date: 2014-01-18
    Description: We prove that the lattice of normal subgroups of ultraproducts of compact simple non-abelian groups is distributive. In the case of ultraproducts of finite simple groups or compact connected simple Lie groups of bounded rank the set of normal subgroups is shown to be linearly ordered by inclusion.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2014-01-16
    Description: ECTL is an extension of the computation tree logic (CTL) with two operators GF and FG where GF and FG represent ‘there is a path along which holds infinitely often’ and ‘along any path, there exists a state after which always holds’, respectively. A Hilbert-style axiomatization of ECTL is defined by adding the schemata G( -〉 ) -〉 (GF -〉 GF ), GF F( XGF ), G( -〉 XF ) -〉 ( -〉 GF ) and FG ¬ GF¬ to the axioms of CTL. We prove its soundness and completeness with respect to arbitrary and finite models, i.e. equivalence of the following three conditions: (i) is provable in this axiomatization of ECTL; (ii) is valid in any model; (iii) is valid in any finite model.
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Publication Date: 2014-01-16
    Description: Gurevich and Neeman introduced Distributed Knowledge Authorization Language (DKAL). The world of DKAL consists of communicating principals computing their own knowledge in their own states. DKAL is based on a new logic of information, the so-called infon logic , and its efficient subsystem called primal logic . In this article, we simplify Kripkean semantics of primal logic and study various extensions of it in search to balance expressivity and efficiency. On the proof-theoretic side we develop cut-free Gentzen-style sequent calculi for the original primal logic and its extensions.
    Print ISSN: 0955-792X
    Electronic ISSN: 1465-363X
    Topics: Computer Science , Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Publication Date: 2014-01-18
    Description: We build on a recent result of Calegari regarding S 5 Artin representations by giving concrete examples of five-dimensional representations that satisfy the additional conditions necessary to prove their modularity. We do so via the Explicit Formula for the corresponding Artin L -functions and a method to choose an appropriate test function to use in order to optimize the computational time necessary.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Publication Date: 2014-01-18
    Description: We classify the possibilities for the fixed field of the kernel of an irreducible three-dimensional Artin representation of Q with solvable image ramified at one prime by using the classification of the finite irreducible subgroups of PGL 3 (C). This allows us to bound the number of such representations with a given Artin conductor.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Publication Date: 2014-01-18
    Description: In this note, we show that various (geometric/homological) finiteness properties are not profinite properties. For example, for all positive integers k and , there exist two finitely generated residually finite groups 1 and 2 with isomorphic profinite completions, such that 1 is strictly of type F k and 2 of type F .
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Publication Date: 2014-01-18
    Description: It is well known (cf. Krajícek and Pudlák [‘Propositional proof systems, the consistency of first order theories and the complexity of computations’, J. Symbolic Logic 54 (1989) 1063–1079]) that a polynomial time algorithm finding tautologies hard for a propositional proof system P exists if and only if P is not optimal. Such an algorithm takes 1 ( k ) and outputs a tautology k of size at least k such that P is not p -bounded on the set of all formulas k . We consider two more general search problems involving finding a hard formula, Cert and Find, motivated by two hypothetical situations: that one can prove that NP!=coNP and that no optimal proof system exists. In Cert one is asked to find a witness that a given non-deterministic circuit with k inputs does not define TAUT{0, 1} k . In Find, given 1 ( k ) and a tautology α of size at most k c 0 , one should output a size k tautology β that has no size k c 1 P -proof from substitution instances of α . We will prove, assuming the existence of an exponentially hard one-way permutation, that Cert cannot be solved by a time 2 O ( k ) algorithm. Using a stronger hypothesis about the proof complexity of the Nisan–Wigderson generator, we show that both problems Cert and Find are actually only partially defined for infinitely many k (that is, there are inputs corresponding to k for which the problem has no solution). The results are based on interpreting the Nisan–Wigderson generator as a proof system.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Publication Date: 2014-01-18
    Description: Frobenius observed that the number of times an element of a finite group is obtained as a commutator is given by a specific combination of the irreducible characters of the group. More generally, for any word w the number of times an element is obtained by substitution in w is a class function. Thus, it has a presentation as a combination of irreducible characters, called the Fourier expansion of w . In this paper, we present formulas regarding the Fourier expansion of words in which some letters appear twice. These formulas give simple proofs for classical results, as well as new ones.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Publication Date: 2014-01-18
    Description: For a non-negative function : N -〉 R, let W ( ) denote the set of real numbers x for which the inequality | nx – a | 〈 ( n ) has infinitely many coprime solutions ( a , n ). The Duffin–Schaeffer conjecture, one of the most important unsolved problems in metric number theory, asserts that W ( ) has full measure provided . Recently Beresnevich, Harman, Haynes and Velani proved that W ( ) has full measure provided satisfies an extra divergence condition. In the present note, we establish a slow divergence counterpart of their result: W ( ) has full measure, provided holds and additionally there exists some c 〉 0 such that the sum of ( n ) ( n ) n –1 for is at most ch –1 , for all h ≥ 1.
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2014-01-18
    Print ISSN: 0024-6093
    Electronic ISSN: 1469-2120
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Publication Date: 2014-01-18
    Description: The article concerns the subalgebra U v + ( w ) of the quantized universal enveloping algebra of the complex Lie algebra sl n +1 associated with a particular Weyl group element of length 2 n . We verify that U v + ( w ) can be endowed with the structure of a quantum cluster algebra of type A n . The quantum cluster algebra is a deformation of the ordinary cluster algebra Geiß–Leclerc–Schröer attached to w using the representation theory of the preprojective algebra. Furthermore, we prove that the quantum cluster variables are, up to a power of v , elements in the dual of Lusztig's canonical basis under Kashiwara's bilinear form.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Publication Date: 2014-01-18
    Description: Let C be a 2-connected projective curve either reduced with planar singularities or contained in a smooth algebraic surface and let S be a subcanonical cluster (that is, a zero-dimensional scheme such that the space H 0 ( C , I S K C ) contains a generically invertible section). Under some general assumptions on S or C , we show that h 0 ( C , I S K C )≤ p a ( C )–1/2 deg ( S ) and if equality holds then either S is trivial or C is honestly hyperelliptic or 3-disconnected. As a corollary, we give a generalization of Clifford's theorem for reduced curves with planar singularities.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Publication Date: 2014-01-23
    Description: The first finite-dimensional parameterization of a subset of the phase space of the Navier–Stokes equations is presented. Travelling waves in two-dimensional plane Poiseuille flow are numerically shown to approximate maximum-entropy configurations. In a coordinate system moving with the phase velocity, the enclosed body of the flow exhibits a hyperbolic sinusoidal relationship between the vorticity and stream function. The phase velocity and two-amplitude parameters describe the stable manifold on the slow viscous time scale. This original parameterization provides a valuable visualization of this subset of the phase space of the Navier–Stokes equations. These new results provide physical insight into an important intermediate stage in the instability process of plane Poiseuille flow.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Publication Date: 2014-01-23
    Description: We investigate the inverse problem of determining a spacewise-dependent heat source in the parabolic heat equation, where the governing heat operator has coefficients that depend both on space and time. The aim is to recover a spacewise-dependent heat source, given the usual conditions of the direct problem and additional information from a supplementary temperature measurement at a given single instant of time. We show that this inverse problem has a unique solution, and for this inverse problem we propose a stable iterative procedure to find the heat source. This method is based on a sequence of well-posed direct problems, which are numerically solved at each iteration step using the finite element method. The instability of this inverse source problem is overcome by stopping the iterations using the discrepancy principle. Numerical results are included, showing that an accurate and stable reconstruction can be obtained.
    Print ISSN: 0272-4960
    Electronic ISSN: 1464-3634
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Publication Date: 2014-03-13
    Description: The aim of this paper was to propose a condition-based maintenance policy for a gradually deteriorating system subject to change in the deterioration rate using on-line detection algorithms. The parameters of the deterioration rate after the change is unknown. The main purpose is to estimate these unknown parameters in order to adapt the condition-based maintenance policy and above all to optimize a global cost criterion.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Publication Date: 2014-03-13
    Description: The article deals with an economic production lot size model in which the manufacturing process shifts from an ‘in-control’ state to an ‘out-of-control’ state after a certain time span which is exponentially distributed. Rapid production may cause such a type of shifting. During the ‘out-of-control’ state, defective items are accumulated and reworked immediately at some cost for maintaining the quality of the product. The demand of the product is assumed to be stochastic. Shortages are allowed and backlogged. Both partial backordering and complete backordering are studied separately and their comparisons are also done. Production cost, holding cost, backlogging cost, lost sale cost, reworked cost and selling price are taken together to construct the integrated expected average profit function, which is maximized to obtain the optimal production rate, optimal lot size and value of optimum expected average profit by using the calculus method. Six numerical examples with their graphical representation are provided to justify the proposed model.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Publication Date: 2014-03-13
    Description: A new deterministic mathematical model for North American box-office film grosses is presented. The model may be simplified to a set of non-linear ordinary differential equations describing the evolution over time of the film's gross and exhibited sites. The novel feature of this work is the inclusion of geography-based effects to model moviegoer and exhibitor behaviour. Several key regimes are identified, depending on the popularity of the film, as well as how the screens are divided among geographical regions. Analytical results are presented for several relevant cases. Numerical simulations demonstrate close agreement between the model's predictions and actual box-office data.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Publication Date: 2014-03-13
    Description: This paper is an attempt to gain mathematical insight into the aggregate–disaggregate intermittent demand approach (ADIDA) forecasting framework, by formulating it as a multi-rate signal processing system. After a brief synopsis of the framework's background, an alternative way to perceive ADIDA from a systemic viewpoint is derived by breaking down its managerial steps into fundamental and well-studied components. Mathematical properties stemming from each separate system block are thoroughly explored and their practical effects are then exemplified through simulated paradigms of common time series patterns. Subsequently, theoretical and practical evidence are combined to draw useful conclusions about the framework's performance and make suggestions on its application. Finally, guidelines for further research are proposed.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Publication Date: 2014-03-13
    Description: We propose a switching regression model for hedge funds to capture the characteristics of trading strategies through time. The coefficients are governed by a discrete-time Markov chain and are able to switch between regimes. The states of the Markov chain represent different states of the economy. Hedge fund indices from main trading strategies and market indices are chosen as regressors. A filtering technique by Elliott (1994, Exact adaptive filters for Markov chains observed in Gaussian noise. Automatica , 30 , 1399–1408) is used to filter out hidden information and optimal parameter estimates are derived through a filter-based Expectation–Maximization algorithm. Our switching regression model is applied to individual hedge fund series from the Hedge Fund Research database.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Publication Date: 2014-03-13
    Description: A supply chain relationship with a supplier who is stronger than a manufacturer is considered. The manufacturer purchases custom components from the dominant supplier, and then incurs a processing cost before they can sell the product to end customers where the demand for the product is a random variable with a given continuous distribution. For the supplier, there is asymmetric information about the manufacturer's cost structure which is described as a continuous random variable. This paper constructs a principal-agent model in a supplier-led supply chain to maximize the supplier's profits which include the wholesale profits and the transfer payment from the manufacturer. The proposed model is shown to be a dynamic optimization problem. The optimal wholesale price and transfer payment are obtained by solving the optimization problem based on Pontryagin's maximum principle. The optimal contract under symmetric information is also obtained. Some managerial implications are provided for the supplier contract design in a supplier-led environment. Finally, a numerical example is given to illustrate the effectiveness of the proposed methods.
    Print ISSN: 1471-678X
    Electronic ISSN: 1471-6798
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Publication Date: 2014-04-26
    Description: We study the relationship between n -cluster tilting modules over n representation finite algebras and the Euler forms. We show that the dimension vectors of cluster-indecomposable modules give the roots of the Euler form. Moreover, we show that cluster-indecomposable modules are uniquely determined by their dimension vectors. This is a generalization of Gabriel's theorem by cluster tilting theory. We call the above roots cluster-roots and investigate their properties. Furthermore, we provide the description of quivers with relations of n -Auslander-Platzeck-Reiten tilts. Using this, we provide a generalization of Bernstein-Gelfand-Ponomarev reflection functors.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Publication Date: 2014-04-26
    Description: We give a signed fundamental domain for the action on R n + of the totally positive units E + of a totally real number field k of degree n . The domain {( C , w )} is signed since the net number of its intersections with any E + -orbit is 1, that is, for any x R n + , Here, C is the characteristic function of C , w = ± 1 is a natural orientation of the n -dimensional k -rational cone C R n + , and the inner sum is actually finite. Signed fundamental domains are as useful as Shintani's true ones for the purpose of calculating abelian L -functions. They have the advantage of being easily constructed from any set of fundamental units, whereas in practice there is no algorithm producing Shintani's k -rational cones. Our proof uses algebraic topology on the quotient manifold R n + / E + . The invariance of the topological degree under homotopy allows us to control the deformation of a crooked fundamental domain into nice straight cones. Crossings may occur during the homotopy, leading to the need to subtract some cones.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Publication Date: 2014-04-26
    Description: For a given set of forms (1) , ..., ( R ) Z[ t 1 , ..., t m ] of degree d we prove a Hasse principle for representations of the shape by general forms F (1) , ..., F ( R ) Z[ x 1 , ..., x s ] of the same degree, provided that s 〉〉 R 2 m d and the forms F () are ‘sufficiently non-singular’. This result is then used to derive asymptotical behaviour of the number of m -dimensional linear spaces contained in the intersection of the F () if the degree is odd. A further application dispenses with the non-singularity condition and establishes the existence of m -dimensional linear spaces on the intersection of R cubic forms if the number s of variables asymptotically exceeds R 6 + m 3 R 3 . Finally, we briefly consider linear spaces on small systems of quintic equations.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Publication Date: 2014-04-26
    Description: We introduce an efficient way, called Newton algorithm, to study arbitrary ideals in C[[ x , y ]], using a finite succession of Newton polygons. We codify most of the data of the algorithm in a useful combinatorial object, the Newton tree. For instance, when the ideal is of finite codimension, invariants like integral closure and Hilbert–Samuel multiplicity were already combinatorially determined in the very special cases of monomial or non-degenerate ideals, using the Newton polygon of the ideal. With our approach, we can generalize these results to arbitrary ideals. In particular, the Rees valuations of the ideal will correspond to the so-called dicritical vertices of the tree, and its Hilbert–Samuel multiplicity has a nice and easily computable description in terms of the tree.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Publication Date: 2014-04-26
    Description: We prove a new general multiplicity estimate applicable to sets of functions without any assumption on algebraic independence. The multiplicity estimates are commonly used in determining measures of algebraic independence of values of functions, for instance, within the context of Mahler's method. For this reason, our result provides an important tool for the proofs of algebraic independence of complex numbers. At the same time, these estimates can be considered as a measure of algebraic independence of functions themselves. Hence, our result provides, under some conditions, the measure of algebraic independence of elements in F q [[ T ]], where F q denotes a finite field.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Publication Date: 2014-04-26
    Description: A strong form of the Manin–Peyre conjecture with a power-saving error term is proved for a certain cubic fourfold.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Publication Date: 2014-04-26
    Description: Châtelet surfaces provide a rich source of geometrically rational surfaces that do not always satisfy the Hasse principle. Restricting attention to a special class of Châtelet surfaces, we investigate the frequency that such counter-examples arise over the rational numbers.
    Print ISSN: 0024-6115
    Electronic ISSN: 1460-244X
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Publication Date: 2014-01-25
    Description: We compare the cost complexities of two approximation schemes for functions f H p ( 1 x 2 ) which live on the product domain 1 x 2 of sufficiently smooth domains 1 R n 1 and 2 R n 2 , namely the singular value/Karhunen–Lòeve decomposition and the sparse grid representation. Here, we assume that suitable finite element methods with associated fixed order r of accuracy are given on the domains 1 and 2 . Then, the sparse grid approximation essentially needs only O( – q ), with q =max{ n 1 , n 2 }/ r , unknowns to reach a prescribed accuracy , provided that the smoothness of f satisfies p ≥ r (( n 1 + n 2 )/max{ n 1 , n 2 }), which is an almost optimal rate. The singular value decomposition produces this rate only if f is analytical, since otherwise the decay of the singular values is not fast enough. If p 〈 r (( n 1 + n 2 )/max{ n 1 , n 2 }), then the sparse grid approach gives essentially the rate O ( – q ) with q =( n 1 + n 2 )/ p , while, for the singular value decomposition, we can only prove the rate O( – q ) with q =(2 min{ r , p }min{ n 1 , n 2 } +2 p max{ n 1 , n 2 }){(2 p –min{ n 1 , n 2 }) min{ r , p }. We derive the resulting complexities, compare the two approaches and present numerical results which demonstrate that these rates are also achieved in numerical practice.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Publication Date: 2014-01-25
    Description: We show improved a priori convergence results in the L 2 norm on interfaces for the approximation of the normal component of the flux in mixed finite element methods. Compared with standard estimates for this problem class, additional factors of for the lowest-order case and of in the higher-order case in the a priori bound for the flux variable are obtained. An important role in the analysis play new error estimates in strips of width O( h ) and the use of anisotropic and weighted norms. Numerical examples including an application to the Stokes–Darcy coupling illustrate our theoretical results.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Publication Date: 2014-01-25
    Description: A finite volume scheme for the (Patlak–) Keller–Segel model in two space dimensions with an additional cross-diffusion term in the elliptic equation for the chemical signal is analysed. The main feature of the model is that there exists a new entropy functional yielding gradient estimates for the cell density and chemical concentration. The main features of the numerical scheme are positivity preservation, mass conservation, entropy stability and—under additional assumptions—entropy dissipation. The existence of a discrete solution and its numerical convergence to the continuous solution is proved. Furthermore, temporal decay rates for convergence of the discrete solution to the homogeneous steady state is shown using a new discrete logarithmic Sobolev inequality. Numerical examples point out that the solutions exhibit intermediate states and that there exist nonhomogeneous stationary solutions with a finite cell density peak at the domain boundary.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Publication Date: 2014-01-25
    Description: We propose and analyse numerical methods for the Heath–Jarrow–Morton (HJM) model. To construct the methods, we first discretize the infinite-dimensional HJM equation in the maturity time variable using quadrature rules for approximating the arbitrage-free drift. This results in a finite-dimensional system of stochastic differential equations which we approximate in the weak and mean-square sense. The proposed numerical algorithms are highly computationally efficient due to the use of high-order quadrature rules which allow us to take relatively large discretization steps in the maturity time without affecting the overall accuracy of the algorithms. They also have a high degree of flexibility and allow us to choose appropriate approximations in maturity and calendar times separately. Convergence theorems for the methods are proved. Results of some numerical experiments with European-type interest rate derivatives are presented.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Publication Date: 2014-01-25
    Description: In this paper we analyse piecewise linear finite element approximations of the Laplace eigenvalue problem in the plane domain = { ( x , y ) : 0 〈 x 〈 1 , 0 〈 y 〈 x α }, which gives for 1〈α the simplest model of an external cusp. Since is curved and non-Lipschitz, the classical spectral theory cannot be applied directly. We present the eigenvalue problem in a proper setting, and relying on known convergence results for the associated source problem with α〈3, we obtain a quasi-optimal order of convergence for the eigenpairs.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Publication Date: 2014-01-25
    Description: The main purpose of this paper is to give an estimation of the global convergence rate for the standard monotone multigrid method applied to variational inequalities whose constraints are of the two-obstacle type. The numerical experiments using this method have highlighted global upper bounds of the convergence rate, but, to our knowledge, no theoretical justification exists so far. The method was introduced by Mandel in 1984 for complementarity problems and named later by Kornhuber as the standard monotone multigrid method. First, we introduce the method as a subspace correction algorithm in a reflexive Banach space, prove its global convergence and estimate the error after making some assumptions. By introducing finite element spaces, this algorithm becomes a multilevel or multigrid method. In this case, we prove that the assumptions that we made in the general theory are satisfied and write the convergence rate as a function of the number of levels. Finally, we compare our results with the estimations of the asymptotic convergence rate existing in the literature for complementarity problems.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Publication Date: 2014-01-25
    Description: We consider Galerkin finite element methods for semilinear stochastic partial differential equations (SPDEs) with multiplicative noise and Lipschitz continuous nonlinearities. We analyse the strong error of convergence for spatially semidiscrete approximations as well as a spatio-temporal discretization which is based on a linear implicit Euler–Maruyama method. In both cases we obtain optimal error estimates. The proofs are based on sharp integral versions of well-known error estimates for the corresponding deterministic linear homogeneous equation together with optimal regularity results for the mild solution of the SPDE. The results hold for different Galerkin methods such as the standard finite element method or spectral Galerkin approximations.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Publication Date: 2014-01-25
    Description: The finite element method has widely been used to discretize the Helmholtz equation with various types of boundary conditions. The strong indefiniteness of the Helmholtz equation makes it difficult to establish stability estimates for the numerical solution. In particular, discontinuous Galerkin methods for the Helmholtz equation with a high wave number result in very large matrices since they typically have more degrees of freedom than conforming methods. However, hybridizable discontinuous Galerkin (HDG) methods offer an attractive alternative because they have built-in stabilization mechanisms and a reduced global linear system. In this paper, we study HDG methods for the Helmholtz equation with a first-order absorbing boundary condition in two and three dimensions. We prove that the proposed HDG methods are stable (hence well posed) without any mesh constraint. The stability constant is independent of the polynomial degree. By using a projection-based error analysis, we also derive the error estimates in the L 2 norm for piecewise polynomial spaces with arbitrary degree.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Publication Date: 2014-01-25
    Description: In this paper we recast the analysis of twofold saddle point variational formulations for several nonlinear boundary value problems arising in continuum mechanics, and derive reliable and efficient residual-based a posteriori error estimators for the associated Galerkin schemes. We illustrate the main results with nonlinear elliptic equations modelling heat conduction and hyperelasticity. The main tools of our analysis include a global inf–sup condition for a linearization of the problem, Helmholtz's decompositions, local approximation properties of the Raviart–Thomas and Clément interpolation operators, inverse inequalities, and the localization technique based on triangle-bubble and edge-bubble functions. Finally, several numerical results confirming the theoretical properties of the estimator and showing the behaviour of the associated adaptive algorithms are provided.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Publication Date: 2014-01-25
    Description: We study the heterogeneous multiscale method (HMM) applied to mechanical systems with solution-dependent high frequencies. Using the example of a stiff spring double pendulum, we formulate a symmetric HMM. It is shown that, for our approach, a correct initialization of the microscale simulation depends crucially on the adiabatic invariance of the actions of the system. Moreover, this almost-invariant property guarantees the existence of an underlying effective system of differential-algebraic equations, which we derive. As we explain, the class of systems under consideration can still be transformed into a setting where an effective system is explicitly available. The analysis is done using canonical transformations proposed by K. Lorenz and Ch. Lubich. It provides general insight into the numerical behaviour and into the development of integrators for the systems under consideration. Finally, we show numerically how other integrators, namely FLAVORS and the impulse method, fail to resolve the correct dynamics.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Publication Date: 2014-01-25
    Description: In this paper, we combine a novel finite difference method (FDM) with a manifold-based exponentially convergent algorithm (MBECA) to solve a nonlinear elliptic boundary-value problem defined in an arbitrary plane domain. It is very difficult to solve nonlinear and geometric complexity problems by conventional FDM. To overcome these problems, the concepts of internal residual and boundary residual in a fictitious rectangular domain are introduced. Besides, by adding a fictitious time coordinate, we avoid the need to treat complex boundary conditions but only use shape functions. Also, it is not necessary to solve an inverse matrix of algebraic equations when by using the MBECA. Moreover, in order to increase the numerical stability of the MBECA, we introduce a group-preserving scheme (GPS) to address fictitious time integration. Given the cone structure of the GPS and MBECA and their manifold properties, we can preserve the manifold path on the cone structure by a weighting factor such that the MBECA must also exhibit a cone construction, Lie algebra and group properties at each fictitious time step. Finally, the accuracy and convergence behaviour of this present method are demonstrated in several examples.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Publication Date: 2014-01-25
    Description: In this paper, we present a robust and accurate numerical method for solving the generalized Black–Scholes equation governing option pricing. We use a horizontal method of lines to discretize the temporal variable and the spatial variable by means of an implicit finite difference method and a cubic B-spline collocation method, respectively. The method is shown to be stable and second-order convergent with respect to both variables. It approximates not only the option value but also some of its important ‘ Greeks ’ ( Delta and Gamma ), at the same time without any extra effort. Furthermore, the present paper efficiently treats the singularity of the nonsmooth pay-off function by condensing the mesh near the singularity. Numerical examples demonstrate the stability, convergence and robustness of the method.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Publication Date: 2014-01-25
    Description: In this article we study finite element approximations of the time-dependent Stokes system on dynamically changing meshes. Applying the backward Euler method for time discretization we use the discrete Helmholtz or Stokes projection to evaluate the solution at time t n –1 on the new spatial mesh at time t n . The theoretical results consist of a priori error estimates that show a dependence on the time step size not better than O(1/ t ). These surprisingly pessimistic upper bounds are complemented by numerical examples giving evidence for a negative convergence rate, at least for a large range of time step sizes, and in this sense backing our theory. These observations imply that using adaptive meshes for incompressible flow problems is delicate and requires further investigation.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Publication Date: 2014-01-25
    Description: In this paper, we consider the stability and convergence of numerical discretizations of the Black–Scholes partial differential equation (PDE) when complemented with the popular linear boundary condition (LBC). This condition states that the second derivative of the option value vanishes when the underlying asset price gets large and is often applied in the actual numerical solution of PDEs in finance. To our knowledge, the only theoretical stability result in the literature up to now pertinent to the LBC was obtained by Windcliff et al. (2004, Analysis of the stability of the linear boundary condition for the Black–Scholes equation, J. Comput. Finance , 8 , 65–92) who showed that for a common discretization, a necessary eigenvalue condition for stability holds. In this paper, we shall present sufficient conditions for stability and convergence when the LBC is employed. We deal with finite difference discretizations in the spatial (asset) variable and a subsequent implicit discretization in time. As a main result, we prove that even though the maximum norm of e tM ( t ≥0) can grow with the dimension of the semidiscrete matrix M , this generally does not impair the convergence behaviour of the numerical discretizations. Our theoretical results are illustrated by ample numerical experiments.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Publication Date: 2014-01-25
    Description: In this paper, initially we consider the (two- and three-dimensional) interior and exterior problems for the scalar wave equation, with a Neumann boundary condition and, in general, with nontrivial data. For these problems, we derive a space-time hypersingular boundary integral equation formulation. Then, in the two-dimensional case, we propose a numerical approach for the computation of the extra ‘volume’ integrals generated by the problem data. To solve the above integral equation in the two-dimensional case, we propose to use second-order Lubich convolution quadrature for the discretization of the time integral, coupled with a (space) -collocation boundary element method. We also analyse the numerical evaluation of all the integrals required by this method. Finally, to show the efficiency of the proposed numerical approach and to detect its convergence rate, we solve some two-dimensional test problems by applying the new method, as well as the corresponding Galerkin one. Several numerical examples are presented.
    Print ISSN: 0272-4979
    Electronic ISSN: 1464-3642
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Publication Date: 2014-02-21
    Description: A Clifford–Wolf translation (CW-translation) of a connected Finsler space is an isometry which moves all points the same distance. A Finsler space ( M , F ) is called Clifford–Wolf homogeneous (CW-homogeneous) if, for any two points x 1 , x 2 M , there is a CW-translation such that ( x 1 ) = x 2 . In this paper, we study CW-translations of left invariant Randers metrics on compact Lie groups. The main result is that a left invariant Randers metric on a compact, connected, simple Lie group is CW-homogeneous if and only if the indicatrix of the metric is a round sphere (not necessarily centered at the origin) with respect to a bi-invariant Riemannian metric. This presents a large number of examples of non-reversible Finsler metrics which are CW-homogeneous.
    Print ISSN: 0033-5606
    Electronic ISSN: 1464-3847
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Publication Date: 2014-02-21
    Description: Assuming the Generalized Riemann Hypothesis (GRH) and the Artin conjecture for Artin L -functions, Duke found an upper bound of the class number of a totally real field of degree n whose normal closure is an S n Galois extension over Q. Again under the GRH and the Artin conjecture, he constructed totally real number fields whose Galois closures are S n with the largest possible class numbers up to a constant. We prove that the strong Artin conjecture is enough to obtain Duke's result. Moreover, we prove the strong Artin conjecture for S 4 and A 4 Galois extensions; hence the case n =4 is unconditional.
    Print ISSN: 0033-5606
    Electronic ISSN: 1464-3847
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    facet.materialart.
    Unknown
    Oxford University Press
    Publication Date: 2014-02-21
    Description: Given a periodic function f , we study the almost everywhere and norm convergence of series . As the classical theory shows, the behavior of such series is determined by a combination of analytic and number theoretic factors, but precise results exist only in a few special cases. In this paper, we use connections with orthogonal function theory and greatest common divisor sums to prove several new results and improve old ones, and also to simplify and unify the theory.
    Print ISSN: 0033-5606
    Electronic ISSN: 1464-3847
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Publication Date: 2014-02-21
    Description: We prove a function field version of Chowla's conjecture on the autocorrelation of the Möbius function in the limit of a large finite field.
    Print ISSN: 0033-5606
    Electronic ISSN: 1464-3847
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Publication Date: 2014-02-21
    Description: Assuming the generalized Riemann hypothesis, we show using the asymptotic large sieve that 91% of the zeros of primitive Dirichlet L -functions are simple. This improves on earlier work of Özlük which gives a proportion of at most 86%. We further compute the q -analogue of the Pair Correlation Function F ( α ) averaged over all primitive Dirichlet L -functions in the range | α | 〈 2. Previously such a result was available only when the average included all the characters . As a corollary of our results, we obtain an asymptotic formula for a sum over characters similar to the one encountered in the Barban–Davenport–Halberstam Theorem.
    Print ISSN: 0033-5606
    Electronic ISSN: 1464-3847
    Topics: Mathematics
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...