Welcome to MathOverflow

Question

1

Given a partially computable function, is there an analytic complex function which is equal to it at every point of it's domain? Or under what condition does a partially computable function correspond to the restriction of an analytic complex function?

edited May 3 2011 at 16:15

Andrej Bauer
12.5k●26●68

asked May 3 2011 at 12:40

XL
379●1●7

4

c.e. = Cannot Explain? – Tom De Medts May 3 2011 at 12:57

1

Maybe I'm being dense, but could you define a C.e. function? Or at least write out the name, so I can search for a definition? Given the tags and the question, I guess it's the only reasonable mathematical definition I found when searching for c.e. function: mathproservices.com/presentations/NewOrleans95/… – Jan Jitse Venselaar May 3 2011 at 12:57

I meant if course: "I guess it's not the only reasonable mathematical definition".. – Jan Jitse Venselaar May 3 2011 at 13:03

3

I don't know for sure what a computable function is, but if it is, among other things, a complex-valued function on the natural numbers, and you want to extend it to an entire function on $\mathbb{C}$, then I think you can. There is a theorem in Chapter 15 of Rudin's Real and Complex Analysis that guarantees for any subset $A$ of $\mathbb{C}$ with no limit points the existence of an entire function taking prescribed values at each element of $A$ (you can even specify as many derivatives as you want at each point). – Keenan Kidwell May 3 2011 at 13:47

3

This question should have said: given a computable partial function $\mathbb{N} \to \mathbb{N}$, is there a computable holomorphic extension of it to $\mathbb{C} \to \mathbb{C}$? That would then actually be an interesting question. – Andrej Bauer May 3 2011 at 16:13

show 8 more comments

Keenan Kidwell · Accepted Answer · 2011-05-03 14:15:30Z UTC

Any complex-valued function on $\mathbb{N}$ can be extended to an entire function, so the answer is "yes." This follows from Theorem 15.13 of Rudin's Real and Complex Analysis, which states that for any open set $\Omega$ in $\mathbb{C}$ and subset $A$ of $\Omega$ without limit points, there exists a holomorphic function on $\Omega$ taking prescribed values at all the points of $A$.

Relation between partially computable function and complex function

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.