Dirichlet problem at infinity for p-harmonic functions on negatively curved spaces

The object of this dissertation is to study globally defined bounded p-harmonic functions on Cartan-Hadamard manifolds and Gromov hyperbolic metric measure spaces. Such functions are constructed by solving the so called Dirichlet problem at infinity. This problem is to find a p-harmonic function on the space that extends continuously to the boundary at inifinity and obtains given boundary values there. The dissertation consists of an overview and three published research articles. In the first article the Dirichlet problem at infinity is considered for more general A-harmonic functions on Cartan-Hadamard manifolds. In the special case of two dimensions the Dirichlet problem at infinity is solved by only assuming that the sectional curvature has a certain upper bound. A sharpness result is proved for this upper bound. In the second article the Dirichlet problem at infinity is solved for p-harmonic functions on Cartan-Hadamard manifolds under the assumption that the sectional curvature is bounded outside a compact set from above and from below by functions that depend on the distance to a fixed point. The curvature bounds allow examples of quadratic decay and examples of exponential growth. In the final article a generalization of the Dirichlet problem at infinity for p-harmonic functions is considered on Gromov hyperbolic metric measure spaces. Existence and uniqueness results are proved and Cartan-Hadamard manifolds are considered as an application.

A maximal operator, Carleson's embedding, and tent spaces for vector-valued functions

This thesis is concerned with the area of vector-valued Harmonic Analysis, where the central theme is to determine how results from classical Harmonic Analysis generalize to functions with values in an infinite dimensional Banach space. The work consists of three articles and an introduction. The first article studies the Rademacher maximal function that was originally defined by T. Hytönen, A. McIntosh and P. Portal in 2008 in order to prove a vector-valued version of Carleson's embedding theorem. The boundedness of the corresponding maximal operator on Lebesgue-(Bochner) -spaces defines the RMF-property of the range space. It is shown that the RMF-property is equivalent to a weak type inequality, which does not depend for instance on the integrability exponent, hence providing more flexibility for the RMF-property. The second article, which is written in collaboration with T. Hytönen, studies a vector-valued Carleson's embedding theorem with respect to filtrations. An earlier proof of the dyadic version assumed that the range space satisfies a certain geometric type condition, which this article shows to be also necessary. The third article deals with a vector-valued generalizations of tent spaces, originally defined by R. R. Coifman, Y. Meyer and E. M. Stein in the 80's, and concerns especially the ones related to square functions. A natural assumption on the range space is then the UMD-property. The main result is an atomic decomposition for tent spaces with integrability exponent one. In order to suit the stochastic integrals appearing in the vector-valued formulation, the proof is based on a geometric lemma for cones and differs essentially from the classical proof. Vector-valued tent spaces have also found applications in functional calculi for bisectorial operators. In the introduction these three themes come together when studying paraproduct operators for vector-valued functions. The Rademacher maximal function and Carleson's embedding theorem were applied already by Hytönen, McIntosh and Portal in order to prove boundedness for the dyadic paraproduct operator on Lebesgue-Bochner -spaces assuming that the range space satisfies both UMD- and RMF-properties. Whether UMD implies RMF is thus an interesting question. Tent spaces, on the other hand, provide a method to study continuous time paraproduct operators, although the RMF-property is not yet understood in the framework of tent spaces.

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Questions to Artificial Nature: A Philosophical Study of Interdisciplinary Models and their Functions in Scientific Practice

This thesis presents an interdisciplinary analysis of how models and simulations function in the production of scientific knowledge. The work is informed by three scholarly traditions: studies on models and simulations in philosophy of science, so-called micro-sociological laboratory studies within science and technology studies, and cultural-historical activity theory. Methodologically, I adopt a naturalist epistemology and combine philosophical analysis with a qualitative, empirical case study of infectious-disease modelling. This study has a dual perspective throughout the analysis: it specifies the modelling practices and examines the models as objects of research. The research questions addressed in this study are: 1) How are models constructed and what functions do they have in the production of scientific knowledge? 2) What is interdisciplinarity in model construction? 3) How do models become a general research tool and why is this process problematic? The core argument is that the mediating models as investigative instruments (cf. Morgan and Morrison 1999) take questions as a starting point, and hence their construction is intentionally guided. This argument applies the interrogative model of inquiry (e.g., Sintonen 2005; Hintikka 1981), which conceives of all knowledge acquisition as process of seeking answers to questions. The first question addresses simulation models as Artificial Nature, which is manipulated in order to answer questions that initiated the model building. This account develops further the "epistemology of simulation" (cf. Winsberg 2003) by showing the interrelatedness of researchers and their objects in the process of modelling. The second question clarifies why interdisciplinary research collaboration is demanding and difficult to maintain. The nature of the impediments to disciplinary interaction are examined by introducing the idea of object-oriented interdisciplinarity, which provides an analytical framework to study the changes in the degree of interdisciplinarity, the tools and research practices developed to support the collaboration, and the mode of collaboration in relation to the historically mutable object of research. As my interest is in the models as interdisciplinary objects, the third research problem seeks to answer my question of how we might characterise these objects, what is typical for them, and what kind of changes happen in the process of modelling. Here I examine the tension between specified, question-oriented models and more general models, and suggest that the specified models form a group of their own. I call these Tailor-made models, in opposition to the process of building a simulation platform that aims at generalisability and utility for health-policy. This tension also underlines the challenge of applying research results (or methods and tools) to discuss and solve problems in decision-making processes.

Becoming a teacher: emerging teacher identity in mathematics teacher education

This research examines three aspects of becoming a teacher, teacher identity formation in mathematics teacher education: the cognitive and affective aspect, the image of an ideal teacher directing the developmental process, and as an on-going process. The formation of emerging teacher identity was approached in a social psychological framework, in which individual development takes place in social interaction with the context through various experiences. Formation of teacher identity is seen as a dynamic, on-going developmental process, in which an individual intentionally aspires after the ideal image of being a teacher by developing his/her own competence as a teacher. The starting-point was that it is possible to examine formation of teacher identity through conceptualisation of observations that the individual and others have about teacher identity in different situations. The research uses the qualitative case study approach to formation of emerging teacher identity, the individual developmental process and the socially constructed image of an ideal mathematics teacher. Two student cases, John and Mary, and the collective case of teacher educators representing socially shared views of becoming and being a mathematics teacher are presented. The development of each student was examined based on three semi-structured interviews supplemented with written products. The data-gathering took place during the 2005 2006 academic year. The collective case about the ideal image provided during the programme was composed of separate case displays of each teacher educator, which were mainly based on semi-structured interviews in spring term 2006. The intentions and aims set for students were of special interest in the interviews with teacher educators. The interview data was analysed following the modified idea of analytic induction. The formation of teacher identity is elaborated through three themes emerging from theoretical considerations and the cases. First, the profile of one s present state as a teacher may be scrutinised through separate affective and cognitive aspects associated with the teaching profession. The differences between individuals arise through dif-ferent emphasis on these aspects. Similarly, the socially constructed image of an ideal teacher may be profiled through a combination of aspects associated with the teaching profession. Second, the ideal image directing the individual developmental process is the level at which individual and social processes meet. Third, formation of teacher identity is about becoming a teacher both in the eyes of the individual self as well as of others in the context. It is a challenge in academic mathematics teacher education to support the various cognitive and affective aspects associated with being a teacher in a way that being a professional and further development could have a coherent starting-point that an individual can internalise.

Visuaalis-spatiaalisten työmuistivalmiuksien yhteys (esi)matemaattisiin taitoihin ja merkitys osana matemaattisilta taidoiltaan heikkojen lasten ja nuorten kognitiivista profiilia

Tämän itsenäisistä osatutkimuksista koostuvan tutkimussarjan tavoitteena oli pyrkiä täydentämään kuvaa matemaattisilta taidoiltaan heikkojen lasten ja nuorten tiedonkäsittelyvalmiuksista selvittämällä, ovatko visuaalis-spatiaaliset työmuistivalmiudet yhteydessä matemaattiseen suoriutumiseen. Teoreettinen viitekehys rakentui Baddeleyn (1986, 1997) kolmikomponenttimallin ympärille. Työmuistikäsitys oli kuitenkin esikuvaansa laajempi sisällyttäen visuaalis-spatiaaliseen työmuistiin Cornoldin ja Vecchin (2003) termein sekä passiiviset varastotoiminnot että aktiiviset prosessointitoiminnot. Yhteyksiä työmuistin ja matemaattisten taitojen välillä tarkasteltiin viiden eri osatutkimuksen avulla. Kaksi ensimmäistä keskittyivät alle kouluikäisten lukukäsitteen hallinnan ja visuaalis-spatiaalisten työmuistivalmiuksen tutkimiseen ja kolme jälkimmäistä peruskoulun yhdeksäsluokkalaisten matemaattisten taitojen ja visuaalis-spatiaalisten työmuistitaitojen välisten yhteyksien selvittämiseen. Tutkimussarjan avulla pyrittiin selvittämään, ovatko visuaalis-spatiaaliset työmuistivalmiudet yhteydessä matemaattiseen suoriutumiseen sekä esi- että yläkouluiässä (osatutkimukset I, II, III, IV, V), onko yhteys spesifi rajoittuen tiettyjen visuaalis-spatiaalisten valmiuksien ja matemaattisen suoriutumisen välille vai onko se yleinen koskien matemaattisia taitoja ja koko visuaalis-spatiaalista työmuistia (osatutkimukset I, II, III, IV, V) tai työmuistia laajemmin (osatutkimukset II, III) sekä onko yhteys työmuistispesifi vai selitettävissä älykkyyden kaltaisella yleisellä päättelykapasiteetilla (osatutkimukset I, II, IV). Tutkimussarjan tulokset osoittavat, että kyky säilyttää ja käsitellä hetkellisesti visuaalis-spatiaalista informaatiota on yhteydessä matemaattiseen suoriutumiseen eikä yhteyttä voida selittää yksinomaan joustavalla älykkyydellä. Suoriutuminen visuaalis-spatiaalista työmuistia mittaavissa tehtävissä on yhteydessä sekä alle kouluikäisten esimatemaattisten taitojen hallintaan että peruskoulun yhdeksäsluokkalaisten matematiikan taitoihin. Matemaattisilta taidoiltaan heikkojen lasten ja nuorten visuaalis-spatiaalisten työmuistiresurssien heikkoudet vaikuttavat kuitenkin olevan sangen spesifejä rajoittuen tietyntyyppisissä muistitehtävissä vaadittaviin valmiuksiin; kaikissa visuaalis-spatiaalisen työmuistin valmiuksia mittaavissa tehtävissä suoriutuminen ei ole yhteydessä matemaattisiin taitoihin. Työmuistivalmiuksissa ilmenevät erot sekä alle kouluikäisten että kouluikäisten matemaattisilta taidoiltaan heikkojen ja normaalisuoriutujien välillä näyttävät olevan kuitenkin jossain määrin yhteydessä kielellisiin taitoihin viitaten vaikeuksien tietynlaiseen kasautumiseen; niillä matemaattisesti heikoilla, joilla on myös kielellisiä vaikeuksia, on keskimäärin laajemmat työmuistiheikkoudet. Osalla matematiikassa heikosti suoriutuvista on näin ollen selvästi keskimääräistä heikommat visuaalis-spatiaaliset työmuistivalmiudet, ja tämä heikkous saattaa olla yksi mahdollinen syy tai vaikeuksia lisäävä tekijä heikon matemaattisen suoriutumisen taustalla. Visuaalis-spatiaalisen työmuistin heikkous merkitsee konkreettisesti vähemmän mentaalista prosessointitilaa, joka rajoittaa oppimista ja suoritustilanteita. Tiedonkäsittelyvalmiuksien heikkous liittyy nimenomaan oppimisnopeuteen, ei asioiden opittavuuteen sinänsä. Mikäli oppimisympäristö ottaa huomioon valmiuksien rajallisuuden, työmuistiheikkoudet eivät todennäköisesti estä asioiden oppimista sinänsä. Avainsanat: Työmuisti, visuaalis-spatiaalinen työmuisti, matemaattiset taidot, lukukäsite, matematiikan oppimisvaikeudet

Androgen receptor-dependent and independent functions of ARIP4

Androgen receptor (AR) is necessary for normal male phenotype development and essential for spermatogenesis. AR is a classical steroid receptor mediating actions of male sex steroids testosterone and 5-alpha-dihydrotestosterone. Numerous coregulators interact with the receptor and regulate AR activity on target genes. This study deals with the characterization of androgen receptor-interacting protein 4 (ARIP4). ARIP4 binds DNA, interacts with AR in vitro and in cultured yeast and mammalian cells, and modulates AR-dependent transactivation. ARIP4 is an active DNA-dependent ATPase, and this enzymatic activity is essential for the ability of ARIP4 to modulate AR function. On the basis of sequence homology in its ATPase domain, ARIP4 belongs to the SNF2 family of proteins involved in chromatin remodeling, DNA repair, and homologous recombination. Similar to its closest homologs ATRX and Rad54, ARIP4 does not seem to be a classical chromatin remodeling protein in that it does not appear to form large protein complexes in vivo or remodel mononucleosomes in vitro. However, ARIP4 is able to generate superhelical torsion on linear DNA fragments. ARIP4 is covalently modified by SUMO-1, and mutation of six potential SUMO attachment sites abolishes the ability of ARIP4 to bind DNA, hydrolyze ATP, and activate AR function. ARIP4 expression starts in early embryonic development. In mouse embryo ARIP4 is present mainly in the neural tube and limb buds. In adult mouse tissues ARIP4 expression is virtually ubiquitous. In mouse testis ARIP4 is expressed in the nuclei of Sertoli cells in a stage-dependent manner. ARIP4 is also present in the nuclei of Leydig cells, spermatogonia, pachytene and diplotene spermatocytes. Testicular expression pattern of ARIP4 does not differ significantly in wild-type, FSHRKO, and LuRKO mice. In the testis of hpg mice, ARIP4 is found mainly in interstitial cells and has very low, if any, expression in Sertoli and germ cells. Heterozygous Arip4+/ mice are fertile and appear normal; however, they are haploinsufficient with regard to androgen action in Sertoli cells. In contrast, Arip4 / embryos are not viable. They have significantly reduced body size at E9.5 and die by E11.5. Compared to wild-type littermates, Arip4 / embryos possess a higher percentage of apoptotic cells at E9.5 and E10.5. Fibroblasts derived from Arip4 / embryos cease growing after 2-3 passages and exhibit a significantly increased apoptosis and decreased proliferation rate than cells from wild-type embryos. Our findings demonstrate that ARIP4 plays an essential role in mouse embryonic development. In addition, testicular expression and AR coregulatory activity of ARIP4 suggest a role of ARIP4-AR interaction in the somatic cells of the testis.

Orphan nuclear receptor subfamily NR4A their interplay with other nuclear receptors and functions in osteoblasts

Nurr1, NGFI-B and Nor1 (NR4A2, NR4A1 and NR4A3, respectively) belong to the NR4A subfamily of nuclear receptors. The NR4A receptors are orphan nuclear receptors which means that activating or repressing ligands for these receptors have not been found. NR4A expression is rapidly induced in response to various stimuli including growth factors and the parathyroid hormone (PTH). The studies concerning the NR4A receptors in the central nervous system have demonstrated that they have a major role in the development and function of the dopaminergic neurons of the midbrain and in regulating hypothalamus-pituitary-adrenal-axis. However, the peripheral functions of the NR4A family are largely unknown. Cultured mouse primary osteoblasts, a preosteoblastic cell line and several osteoblastic cell lines were used to investigate the role of NR4A receptors in osteoblasts. NR4A receptors were shown to directly bind to and activate the promoter of the osteopontin gene (OPN) in osteoblastic cells, thus regulating its expression. OPN is a major bone matrix protein expressed throughout the differentiation of preosteoblastic cells into osteoblasts. The activation of the OPN promoter was shown to be dependent on the activation function-1 located in the N-terminal part of Nurr1 and to occur in both monomeric and RXR heterodimeric forms of NR4A receptors. Furthermore, PTH was shown to upregulate OPN expression through the NR4A family. It was also demonstrated that the fibroblast growth factor-8b (FGF-8b) induces the expression of NR4A receptors in osteoblasts as immediate early genes. This induction involved phosphatidylinositol-3 kinase, protein kinase C, and mitogen activated protein kinase, which are all major pathways of FGF signalling. Nurr1 and NGFI-B were shown to induce the proliferation of preosteoblastic cells and to reduce their apoptosis. FGF-8b was shown to stimulate the proliferation of osteoblastic cells through the NR4A receptors. These results suggest that NR4A receptors have a role both in the differentiation of osteoblasts and in the proliferation and apoptosis of preosteoblast. The NR4A receptors were found to bind to the same response element on OPN as the members of the NR3B family of orphan receptors do. Mutual repression was observed between the NR4A receptors and the NR3B receptors. This repression was shown to be dependent on the DNA-binding domains of both receptor families, but to result neither from the competition of DNA binding nor from the competition for coactivators. As the repression was dependent on the relative expression levels of the NR4As and NR3Bs, it seems likely that the ratio of the receptors mediates their activity on their response elements. Rapid induction of the NR4As in response to various stimuli and differential expression of the NR3Bs can effectively control the gene activation by the NR4A receptors. NR4A receptors can bind DNA as monomers, and Nurr1 and NGFI-B can form permissive heterodimers with the retinoid X receptor (RXR). Permissive heterodimers can be activated with RXR agonists, unlike non-permissive heterodimers, which are formed by RXR and retinoic acid receptor or thyroid hormone receptor (RAR and TR, respectively). Non-permissive heterodimers can only be activated by the agonists of the heterodimerizing partner. The mechanisms behind differential response to RXR agonists have remained unresolved. As there are no activating or repressing ligands for the NR4A receptors, it would be important to find out, how they are regulated. Permissiviness of Nurr1/RXR heterodimers was linked to the N-terminal part of Nurr1 ligand-binding domain. This region has previously been shown to mediate the interaction between NRs and corepressors. Non-permissive RAR and TR, permissive Nurr1 and NGFI-B, and RXR were overexpressed with corepressors silencing mediator for retinoic acid and thyroid hormone receptors (SMRT), and with nuclear receptor corepressor in several cell lines. Nurr1 and NGFI-B were found to be repressed by SMRT. The interaction of RXR heterodimers with corepressors was weak in permissive heterodimers and much stronger in non-permissive heterodimers. Non-permissive heterodimers also released corepressors only in response to the agonist of the heterodimeric partner of RXR. In the permissive Nurr1/RXR heterodimer, however, SMRT was released following the treatment with RXR agonists. Corepressor release in response to ligands was found to differentiate permissive heterodimers from non-permissive ones. Corepressors were thus connected to the regulation of NR4A functions. In summary, the studies presented here linked the NR4A family of orphan nuclear receptors to the regulation of osteoblasts. Nurr1 and NGFI-B were found to control the proliferation and apoptosis of preosteoblasts. The studies also demonstrated that cross-talk with the NR3B receptors controls the activity of these orphan receptors. The results clarified the mechanism of permissiviness of RXR-heterodimers. New information was obtained on the regulation and functions of NR4A receptors, for which the ligands are unknown.

The Functions and Regulation of Ornithine Decarboxylase

Ornithine decarboxylase (ODC) regulates the synthesis of polyamines which are involved in many cellular functions e.g. proliferation and differentiation. Due to its critical role, ODC is a tightly regulated enzyme by antizymes and antizyme inhibitors. If the regulation fails, the activity of ODC increases and may lead to malignant transformation of a cell. Increased ODC activity is found in many common cancers, including colon, prostate, and breast cancer. In a transformed cell, dynamics of the actin cytoskeleton is disturbed. A small G-protein, RhoA regulates organization of the cytoskeleton, and its overactivity increases malignant potential of the cell. The present results indicate that covalent attachment of polyamines by transglutaminase is a physiological means of regulating the activity of RhoA. The translocation of RhoA to the plasma membrane, where it exerts its activity is dependent on the presence of catalytically active ODC. As the overactivity of ODC and RhoA are implicated in cell transformation, the results provide a mechanistic explanation of the interrelationship between the polyamine metabolism and the reorganization of the actin cytoskeleton occurring in cancer cells. ODC and polyamines have also an important role in the function of central nervous system. They participate in the regulation of brain morphogenesis in embryos. In adult nervous tissue, polyamines regulate K+ and glutamate channels. K+ inward rectifying channels control membrane potentials and NMDA-type glutamate receptors (NMDAR) regulate synaptic plasticity. High ODC activity and polyamine levels are considered important in the development of ischemic brain damage and they are implicated in the pathogenesis of Alzheimer s disease (AD). A homolog of ODC was cloned from a human brain cDNA library, and several alternatively spliced variants were detected in human brain and testis. The novel protein was nevertheless devoid of ODC catalytic activity. It was subsequently found to be a novel inductor of ODC activity and polyamine synthesis, called antizyme inhibitor 2 (AZIN2). The accumulation of AZIN2 in vesicle-like formations along the axons and beneath the plasma membrane of neurons as well as in steroid hormone producing Leydig cells and luteal cells of the gonads implies that AZIN2 plays a role in secretion and vesicle trafficking. An accumulation of AZIN2 was detected also in specimens of AD brains. This increased expression of AZIN2 was specific for AD and was not found in brains with other neurodegenerative diseases including CADASIL or dementia with Lewy bodies.