Environmental factors affecting the occurrence of periglacial landforms in Finnish Lapland: a numerical approach

Determination of the environmental factors controlling earth surface processes and landform patterns is one of the central themes in physical geography. However, the identification of the main drivers of the geomorphological phenomena is often challenging. Novel spatial analysis and modelling methods could provide new insights into the process-environment relationships. The objective of this research was to map and quantitatively analyse the occurrence of cryogenic phenomena in subarctic Finland. More precisely, utilising a grid-based approach the distribution and abundance of periglacial landforms were modelled to identify important landscape scale environmental factors. The study was performed using a comprehensive empirical data set of periglacial landforms from an area of 600 km2 at a 25-ha resolution. The utilised statistical methods were generalized linear modelling (GLM) and hierarchical partitioning (HP). GLMs were used to produce distribution and abundance models and HP to reveal independently the most likely causal variables. The GLM models were assessed utilising statistical evaluation measures, prediction maps, field observations and the results of HP analyses. A total of 40 different landform types and subtypes were identified. Topographical, soil property and vegetation variables were the primary correlates for the occurrence and cover of active periglacial landforms on the landscape scale. In the model evaluation, most of the GLMs were shown to be robust although the explanation power, prediction ability as well as the selected explanatory variables varied between the models. The great potential of the combination of a spatial grid system, terrain data and novel statistical techniques to map the occurrence of periglacial landforms was demonstrated in this study. GLM proved to be a useful modelling framework for testing the shapes of the response functions and significances of the environmental variables and the HP method helped to make better deductions of the important factors of earth surface processes. Hence, the numerical approach presented in this study can be a useful addition to the current range of techniques available to researchers to map and monitor different geographical phenomena.

The Interplays of Histories, Economies and Cultures in Human Adaptation and Settlement Patterns : The Cases of the Faroe Islands and Greenland

The Arctic peoples are currently faced with the challenge of adapting to climate change. Adaptive strategies have been central for the survival of the Northern communities also in the past. This doctoral dissertation is a comparative study of how two Northern societies, the Faroe Islands and Greenland, have responded to challenges caused by the interplay of environmental, political and socio-economic changes. Its main objective is to describe the characteristics of respective adaptive strategies developed in the two societies and to show which connections exist between adaptation and the development of the settlement patterns. This study is based on document analysis, supported by an analysis of demographic and economic statistics. For the field work, the empirical method of landscape-reading was applied. A narrative approach was used to explain interrelations between adaptive strategies and societal developments in the Faroe Islands and Greenland. Maps illustrating development and changes in settlement patterns in different time periods are central for this study because they illustrate the impacts of adaptation on settlement development. The results of this dissertation show that people in the Faroe Islands and Greenland have consciously developed their settlements and used this as an adaptive strategy: different types of settlements were established depending on which kind of resource base was available. Strong dependency on a single resource is likely to increase the probability that settlement development was impacted by it. The interrelation of natural resource use and settlement pattern development has weakened in the Faroe Islands and Greenland from the mid-1900s. Since then, the importance of the government settlement policies has become pronounced and the existing settlement pattern, including settlements without prospects for genuine economic viability, has been preserved. Currently, the Northern communities are increasingly dependent on worldwide developments. In the light of this study, the communities can respond to challenges of globalization and climate change and develop new kind of adaptive strategies, such as diversification of their economic activities. This dissertation shows that it is important to extend studies about community adaptation in the High North to consider the overall development of the Northern settlement patterns.

Aika ennen aluepolitiikkaa. Pohjoisen kehityshankkeet ja alueiden kehittämisen idea 1950-luvun Suomessa

The dissertation focuses on the recognition of the problems of uneven regional development in Finland in the 1950s, and the way the idea of controlling this development was introduced to Finnish politics. Since it is often stated that Finnish regional policy only began in the mid-1960s, the period at hand is considered to fall in the time before regional policy. However, various ideas, plans and projects of regional development as well as different aims of development were brought forward and discussed already in the 1950s. These give an interesting perspective to the ideas of later regional development. In the 1950s, many Finnish politicians became more conscious of the unavoidable societal change. The need for overall modernisation of the society made it reasonable to expect a growing level of unemployment and eagerness to migration. The uneven distribution of well-being was also feared to cause discontent and political changes. International experience proved interfering in the regional development possible when using the argument of public interest ; the measures taken increased the level of well-being, helped sustain societal balance, and supported national economy. Many of the development projects of the 1950s focused on Northern Finland, the natural resources of which were considered an important reserve and the political climate of which was regarded unstable. After the late 1940s, regional development was discussed frequently both on the national and the regional level. Direct and indirect support was given to less developed areas and the government outlined thorough investigations in order to relieve the regional problem. Towards the end of the decade, the measures taken were already often connected to the idea of equality. In the 1950s the conflicts within and between the largest Finnish political parties significantly affected the decisions of regional development. There are three case studies in this qualitative research based on the narrative method. The case studies clarify the characteristics of the 1950s regional development. In the first one, the representatives of the northern region and the state first discuss the location of a state-run nitrogen fertilizer factory and later the location of a new university. In the second, the aims and perspectives of private entrepreneurs and the state collide due to ideas of statist industrialisation projects and later due to an idea of a tax relief targeting northern industry. In the third case, the main role is given to the changing rural areas, in relation to which societal development and urbanisation were often measured. The regional development of the 1950s laid groundwork for the new, more established regional policy. The early problem solving actions were aimed both at the prevailing situation and the future and thus showed the way for the upcoming actions. Regional development policy existed already before regional policy.

Host Rock Classification (HRC) system for nuclear waste disposal in crystalline bedrock

A new rock mass classification scheme, the Host Rock Classification system (HRC-system) has been developed for evaluating the suitability of volumes of rock mass for the disposal of high-level nuclear waste in Precambrian crystalline bedrock. To support the development of the system, the requirements of host rock to be used for disposal have been studied in detail and the significance of the various rock mass properties have been examined. The HRC-system considers both the long-term safety of the repository and the constructability in the rock mass. The system is specific to the KBS-3V disposal concept and can be used only at sites that have been evaluated to be suitable at the site scale. By using the HRC-system, it is possible to identify potentially suitable volumes within the site at several different scales (repository, tunnel and canister scales). The selection of the classification parameters to be included in the HRC-system is based on an extensive study on the rock mass properties and their various influences on the long-term safety, the constructability and the layout and location of the repository. The parameters proposed for the classification at the repository scale include fracture zones, strength/stress ratio, hydraulic conductivity and the Groundwater Chemistry Index. The parameters proposed for the classification at the tunnel scale include hydraulic conductivity, Q´ and fracture zones and the parameters proposed for the classification at the canister scale include hydraulic conductivity, Q´, fracture zones, fracture width (aperture + filling) and fracture trace length. The parameter values will be used to determine the suitability classes for the volumes of rock to be classified. The HRC-system includes four suitability classes at the repository and tunnel scales and three suitability classes at the canister scale and the classification process is linked to several important decisions regarding the location and acceptability of many components of the repository at all three scales. The HRC-system is, thereby, one possible design tool that aids in locating the different repository components into volumes of host rock that are more suitable than others and that are considered to fulfil the fundamental requirements set for the repository host rock. The generic HRC-system, which is the main result of this work, is also adjusted to the site-specific properties of the Olkiluoto site in Finland and the classification procedure is demonstrated by a test classification using data from Olkiluoto. Keywords: host rock, classification, HRC-system, nuclear waste disposal, long-term safety, constructability, KBS-3V, crystalline bedrock, Olkiluoto

Aluesuunnittelu ja kestävä kehitys Luoteis-Venäjällä : Ympäristösuunnittelun mahdollisuus paikallisissa hallintatavoissa

In this Ph.D. thesis I have studied how the objectives of sustainable development have been integrated into Northwest Russian urban and regional planning, and how the Russian planning discourse has changed after the collapse of the Soviet Union. By analysing the planning discussion, processes, and strategic documents I have also investigated the use of power and governmentality in urban and regional planning. As a methodological foundation I have used an approach that I call geographical constructivism . It was possible to answer in a relevant manner the question of how sustainable development has become a part of planning in Northwest Russia through a discourse analysis of the planning discussion. During the last decades, the aim of sustainable development has become globally one of the most central societal challenges. Urban and regional planning has a central role to play in promoting this process, since many meta-level objectives actually take shape within its sphere. An ever more actual challenge brought by sustainable development is to plan regions and places while balancing the conflicts of the pressures of safeguarding a good environment and of taking into consideration social and economic needs. I have given these unavoidable conflicts of sustainable development a central place in my work. In my view, complementing instrumental and communicative rationality with conflict rationality gives environmental planning a well-equipped toolbox. Sustainable development can be enhanced in urban and regional planning by seeking open, and especially hidden, potential conflicts. Thus, the expressed thinking (mentality) and actions taken by power regimes in and around conflicts open an interesting viewpoint into Northwest Russian governmentality. I examine the significance of sustainable development in planning through Northwest Russian geography, and also through recent planning legislation and four case studies. In addition, I project my analysis of empirical material onto the latest discussion of planning theory. My four case studies, which are based on independent and separate empirical material (42 thematic interviews and planning documents), consider the republics of Karelia and Komi, Leningrad oblast and the city of Saint Petersburg. In the dissertation I argue how sustainable development is, in the local governmentalities of Northwest Russia, understood as a concept where solving environmental problems is central, and that they can be solved through planning carried out by the planning professionals. Despite this idealism, environmental improvements have been overlooked by appealing to difficult economic factors. This is what I consider environmental racism, which I think is the most central barrier to sustainable development in Northwest Russia. The situation concerning the social dimension of sustainable development is even more difficult, since, for example, the development of local democracy is not highly valued. In the planning discourse this democracy racism is explained by a short history of democracy in Russia. However, precisely through planning conflicts, for example in St. Petersburg, planning has become socially more sustainable: protests by local inhabitants have bypassed the poorly functioning representational democracy, when the governmentality has changed from a mute use of power to one that adopts a stand on a conflicting issue. Keywords: Russia, urban and regional planning, sustainable development, environmental planning, power and conflicts in planning, governmentality, rationalities.

Struggles over resources and representations in territorial conflicts in the Northern Autonomous Atlantic Region (RAAN), Nicaragua

Territoriality is a central issue in indigenous peoples struggles. The territorial struggles involve struggles over the control of natural resources and over political participation and representation, but also over the perception of territorial rights and the symbolic representation of the territory. These struggles are carried through both in material and symbolic ways through recurring to different discourses and representations that provide legitimation for the territorial claims of the group. The study is located in the Northern Autonomous Atlantic Region of Nicaragua. The study concerns the territorial strategies, conceptions and practices of the indigenous people and other actors. Territorial conflicts exist between the autonomous region and the central government of Nicaragua, between mestizo settlers and indigenous people, between different indigenous groups, and between these and development agents such as conservation projects. The study focuses on how territorial discourses and representations are used to legitimate territorial control. Environmental, historical and cartographical discourses are the most important discourses recurred to. The influence of discourses and representations on the territorial practices and policies of the different actors, the links between the local struggles and global processes, and the broader structural factors impacting on the territorial struggles are also analysed. Among the structural factors are the problems related to land tenure and management and the use of natural resources, the advance of the agricultural frontier, the institutional weaknesses of the central and regional governments and the legislative processes. The territorial discourses are both recurred to in a strategic way and also grounded in local ideals and practices. The discourses have produced real effects for example in legislation, land tenure systems, political representation and environmental practices. Although the use of discourses and representations are an important power tool in territorial struggles, territorial control cannot be effectively accomplished merely through representing territorial claims in a legitimate way or through reforming legislation, as the conflicts are also largely a result of structural factors affecting the region. The fieldwork was carried out during a total of twelve months between 2000 and 2002. The research methods used were semi-structured interviews, participant observation and participatory research methods. A broad range of literary sources were also used to collect data. The study is located within the field of critical political geography with a discursive political ecology approach. It can be called a critical realist approach to the discursive analysis of indigenous territoriality.

Identiteettien maisemat Saskatchewanin Uudessa Suomessa : Uudisasutuksesta uusidentifikaatioon

The present study examines how the landscape of the rural immigrant colony of New Finland (Saskatchewan, Canada) has reflected the Finnish origins of the about 350 settlers and their descendants, their changing ideologies, values, sense of collectiveness and the meanings of the Finnish roots. The study also reveals the reasons and power structures behind the ethnic expressions. Researched time period runs from the beginning of the settlement in 1888 to the turn of the millennium. The research concentrates on buildings, cemeteries, personal names and place names which contain strong visual and symbolic messages and are all important constituents of mundane landscapes. For example, the studied personal names are important identity-political indexes telling about the value of the Finnish nationalism, community spirit, dual Finnish-Canadian identities and also the process of assimilation which, for example, had differences between genders. The study is based on empirical field research, and iconographical and textual interpretations supported by classifications and comparative analyses. Several interviews and literature were essential means of understanding the changing political contexts which influenced the Finnish settlement and its multiple landscape representations. Five historical landscape periods were identified in New Finland. During these periods the meanings and representations of Finnish identity changed along with national and international politics and local power structures. For example, during the Second World War Canada discouraged representations of Finnish culture because Finland and Canada were enemies. But Canada s multicultural policy in the 1980s led to several material and symbolic representations indicating the Finnish settlement after a period of assimilation and deinstitutionalization. The study shows how these representations were indications of the politics of a (selective) memory. Especially Finnish language, cultural traditions and the Evangelical-Lutheran values of the pioneers, which have been passed down to new generations, are highly valued part of the Finnish heritage. Also the work of the pioneers and their participation in the building of Saskatchewan is an important collective narrative. The selectiveness of a memory created the landscape of forgetting which includes deliberately forgotten parts of the history. For example, the occasional disputes between the congregations are something that has been ignored. The results show how the different landscape elements can open up a useful perspective to diaspora colonies or other communities also by providing information which otherwise would be indistinguishable. In this case, for example, two cemeteries close together were a sign of religious distributions among the early settlers.

Inverse Problem for Fractional Brownian Motion with Discrete Data

The problem of recovering information from measurement data has already been studied for a long time. In the beginning, the methods were mostly empirical, but already towards the end of the sixties Backus and Gilbert started the development of mathematical methods for the interpretation of geophysical data. The problem of recovering information about a physical phenomenon from measurement data is an inverse problem. Throughout this work, the statistical inversion method is used to obtain a solution. Assuming that the measurement vector is a realization of fractional Brownian motion, the goal is to retrieve the amplitude and the Hurst parameter. We prove that under some conditions, the solution of the discretized problem coincides with the solution of the corresponding continuous problem as the number of observations tends to infinity. The measurement data is usually noisy, and we assume the data to be the sum of two vectors: the trend and the noise. Both vectors are supposed to be realizations of fractional Brownian motions, and the goal is to retrieve their parameters using the statistical inversion method. We prove a partial uniqueness of the solution. Moreover, with the support of numerical simulations, we show that in certain cases the solution is reliable and the reconstruction of the trend vector is quite accurate.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Renormalization methods in KAM theory

It is well known that an integrable (in the sense of Arnold-Jost) Hamiltonian system gives rise to quasi-periodic motion with trajectories running on invariant tori. These tori foliate the whole phase space. If we perturb an integrable system, the Kolmogorow-Arnold-Moser (KAM) theorem states that, provided some non-degeneracy condition and that the perturbation is sufficiently small, most of the invariant tori carrying quasi-periodic motion persist, getting only slightly deformed. The measure of the persisting invariant tori is large together with the inverse of the size of the perturbation. In the first part of the thesis we shall use a Renormalization Group (RG) scheme in order to prove the classical KAM result in the case of a non analytic perturbation (the latter will only be assumed to have continuous derivatives up to a sufficiently large order). We shall proceed by solving a sequence of problems in which theperturbations are analytic approximations of the original one. We will finally show that the approximate solutions will converge to a differentiable solution of our original problem. In the second part we will use an RG scheme using continuous scales, so that instead of solving an iterative equation as in the classical RG KAM, we will end up solving a partial differential equation. This will allow us to reduce the complications of treating a sequence of iterative equations to the use of the Banach fixed point theorem in a suitable Banach space.

Boundedness of weakly singular integral operators on domains

The monograph dissertation deals with kernel integral operators and their mapping properties on Euclidean domains. The associated kernels are weakly singular and examples of such are given by Green functions of certain elliptic partial differential equations. It is well known that mapping properties of the corresponding Green operators can be used to deduce a priori estimates for the solutions of these equations. In the dissertation, natural size- and cancellation conditions are quantified for kernels defined in domains. These kernels induce integral operators which are then composed with any partial differential operator of prescribed order, depending on the size of the kernel. The main object of study in this dissertation being the boundedness properties of such compositions, the main result is the characterization of their Lp-boundedness on suitably regular domains. In case the aforementioned kernels are defined in the whole Euclidean space, their partial derivatives of prescribed order turn out to be so called standard kernels that arise in connection with singular integral operators. The Lp-boundedness of singular integrals is characterized by the T1 theorem, which is originally due to David and Journé and was published in 1984 (Ann. of Math. 120). The main result in the dissertation can be interpreted as a T1 theorem for weakly singular integral operators. The dissertation deals also with special convolution type weakly singular integral operators that are defined on Euclidean spaces.

Luonnollisten lukujen joukon määriteltävyys funktioalgebroissa

Let X be a topological space and K the real algebra of the reals, the complex numbers, the quaternions, or the octonions. The functions form X to K form an algebra T(X,K) with pointwise addition and multiplication. We study first-order definability of the constant function set N' corresponding to the set of the naturals in certain subalgebras of T(X,K). In the vocabulary the symbols Constant, +, *, 0', and 1' are used, where Constant denotes the predicate defining the constants, and 0' and 1' denote the constant functions with values 0 and 1 respectively. The most important result is the following. Let X be a topological space, K the real algebra of the reals, the compelex numbers, the quaternions, or the octonions, and R a subalgebra of the algebra of all functions from X to K containing all constants. Then N' is definable in , if at least one of the following conditions is true. (1) The algebra R is a subalgebra of the algebra of all continuous functions containing a piecewise open mapping from X to K. (2) The space X is sigma-compact, and R is a subalgebra of the algebra of all continuous functions containing a function whose range contains a nonempty open set of K. (3) The algebra K is the set of reals or the complex numbers, and R contains a piecewise open mapping from X to K and does not contain an everywhere unbounded function. (4) The algebra R contains a piecewise open mapping from X to the set of the reals and function whose range contains a nonempty open subset of K. Furthermore R does not contain an everywhere unbounded function.

Homoclinic Splitting without Trees

We study a Hamiltonian describing a pendulum coupled with several anisochronous oscillators, giving a simple construction of unstable KAM tori and their stable and unstable manifolds for analytic perturbations. When the coupling takes place through an even trigonometric polynomial in the angle variables, we extend analytically the solutions of the equations of motion, order by order in the perturbation parameter, to a large neighbourhood of the real line representing time. Subsequently, we devise an asymptotic expansion for the splitting (matrix) associated with a homoclinic point. This expansion consists of contributions that are manifestly exponentially small in the limit of vanishing gravity, by a shift-of-countour argument. Hence, we infer a similar upper bound for the splitting itself. In particular, the derivation of the result does not call for a tree expansion with explicit cancellation mechanisms.

Locality and order-invariant logics

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

Jumping numbers of a simple complete ideal in a two-dimensional regular local ring

The multiplier ideals of an ideal in a regular local ring form a family of ideals parametrized by non-negative rational numbers. As the rational number increases the corresponding multiplier ideal remains unchanged until at some point it gets strictly smaller. A rational number where this kind of diminishing occurs is called a jumping number of the ideal. In this manuscript we shall give an explicit formula for the jumping numbers of a simple complete ideal in a two dimensional regular local ring. In particular, we obtain a formula for the jumping numbers of an analytically irreducible plane curve. We then show that the jumping numbers determine the equisingularity class of the curve.